Bernardo, Marco
[HerausgeberIn];
Inverardi, Paolo
[HerausgeberIn]
;
International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures 3 2003 Bertinoro
Formal methods for software architectures
: third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; 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 software architectures
:
third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures