• Formal Methods for Eternal Net...
  • Bestand

Treffer: Formal Methods for Eternal Networked Software Systems

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 / edited by Marco Bernardo, Valerie Issarny
Verantwortlich:
Bernardo, Marco (Herausgeber) ; Issarny, Valerie (Herausgeber)
Ausgabe:
1st edition 2011
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 527 Seiten) : 180 illus., 46 illus. in color.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 6659
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Eternal Networked Software Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - ISBN 9783642214547
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642214554 ; 364221455X ; 9783642214547 (Sekundärausgabe) ; 9783642214561 (Sekundärausgabe)
DOI:
10.1007/978-3-642-21455-4

Zusatz-Informationen

Zusatz-Funktionen