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

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

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (BerichterstatterIn)
Weitere Verfasser: Bernardo, Marco (HerausgeberIn), Issarny, Valérie (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2011
Schriftenreihe:Lecture notes in computer science 6659 : Tutorial
Schlagworte:
Computer science > Information systems > Software engineering > Konferenzschrift > Softwaresystem > Softwarearchitektur > Interoperabilität > Konnektor > Formale Methode > Maschinelles Lernen > Verteiltes System > Trusted Computing
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:VIII, 526 S.
graph. Darst.
235 mm x 155 mm
graph. Darst.
ISBN:3642214541
3-642-21454-1
9783642214547
978-3-642-21454-7