Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Gespeichert in:

Personen und Körperschaften:	Giachino, Elena (VerfasserIn), Hähnle, Reiner (HerausgeberIn), Boer, Frank S. (HerausgeberIn), Bonsangue, Marcello M. (HerausgeberIn)
Titel:	Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures/ edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7866
Schlagwörter:	Logic design Computer Science Computer science Software engineering Machine theory. Konferenzschrift > 2012 > Bertinoro Konferenzschrift
Druckausg.:	Formal methods for components and objects, Berlin : Springer, 2013, 239 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Themen
RVK-Notation:	SS 4800 Lecture notes in computer science Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Schriftenreihen (indiv. Sign.) Lecture notes in computer science
Schlagwörter:	Logic design Computer Science Computer science Software engineering Machine theory. Konferenzschrift > 2012 > Bertinoro Konferenzschrift Softwareentwicklung > Objektorientierung > Komponente > Formale Methode