Formal methods for mobile computing: advanced lectures
Berlin [u.a.]: Springer, 2005
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 270 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Formal methods for mobile computing: advanced lectures
|
---|---|
Verantwortlichkeitsangabe: | 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005. Marco Bernardo ... (eds.) |
Autor/in / Beteiligte Person: | Bernardo, Marco (1970-) |
Körperschaft: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2005 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 270 S. : graph. Darst. |
ISBN: | 9783540256977; 3540256970 |
Schlagwort: |
|
Sonstiges: |
|