Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

Author(s)

• Bernardo, Marco
• Bogliolo, Alessandro
• International School on Formal Methods for the Design of Computer, Communication and Software Systems

Bibliographic Information

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

Marco Bernardo, Alessandro Bogliolo (eds.)

（Lecture notes in computer science, 3465）

Springer, c2005

Note

Includes bibliographical references and index

Details

• NCID: BA71922890
• ISBN:
  • 3540256970
• LCCN: 2005924063
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: vi, 270 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Computer software
  • LCSH : Computer architecture
  • LCSH : System design
  • LCSH : Formal methods (Computer science)
• Parent Bibliography ID:
  • BA00009279