Formal methods for components and objects: 9th international symposium, FMCO 2010, Graz, Austria, No… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers
Beteiligte: Aichernig, Bernhard K. [Hrsg.]; Boer, Frank S. de [Sonstige Person, Familie und Körperschaft]; Bonsangue, Marcello M. [Sonstige Person, Familie und Körperschaft]
Veranstaltung: FMCO
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6957
State of the art survey
Umfang: XI, 391 S.; graph. Darst; 24 cm
Sprache: Englisch
ISBN: 3642252702; 9783642252709
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 86007801
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Softwareentwicklung > Formale Methode
Softwareentwicklung > Objektorientierung > Komponente > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers