Bernardo, Marco
[HerausgeberIn];
Issarny, Valérie
[Sonstige Person, Familie und Körperschaft]
;
International School on Formal Methods for the Design of Computer, Communication, and Software Systems 11 2011 Bertinoro
Formal methods for eternal networked software systems
: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Formal methods for eternal networked software systems
:
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures