Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby ... Lectures (Lecture Notes in Computer Science) (edit title/settings)

Ridiculously Simplified Synopsis edit

Write a ridiculously simplified synopsis.

Characters/People edit see section history

• Linda: Add a description of this character.
• Al
• Springer
• M. Bernardo
• R. De Nicola
• L. Bettini
• A. Bogliolo
• A. Acquaviva
• R. Pugliese
• G. Ferrari
• M. Pistore
• R. Milner
• Markovian
• E. Lattanzi
• L. Benini
• B. Venneri

Setting & Locations edit see section history

• Emilia
• Mt
• Vitek
• Ucd
• Spt

First Sentence edit see section history

Classification edit see section history

• Library of Congress: Add the Library of Congress Classification.
• Dewey: 372

Subjects edit see section history

• Books › Computers & Internet › Computer Science › Software Engineering › Design Tools & Techniques
• Books › Computers & Internet › Programming › Software Design, Testing & Engineering › Software Development
• Books › Computers & Internet › Computer Science › Software Engineering › Methodology
• Books › Computers & Internet › Mobile & Wireless Computing › Programming
• Books › Computers & Internet › Programming › Languages & Tools
• Books › Computers & Internet › Networking › Wireless Networks
• Books › Computers & Internet › Computer Science › Systems Analysis & Design