Formal verification of object-oriented software: International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers

Medientyp: Buch; Konferenzbericht
Titel: Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers
Beteiligte: Beckert, Bernhard [Hrsg.]; Marché, Claude [Sonstige Person, Familie und Körperschaft]
Veranstaltung: FoVeOOS
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6528
Umfang: X, 197 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642180698; 9783642180699
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80030134
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Softwareprodukt > Objektorientierung > Verifikation > Formale Methode
Objektorientierte Programmiersprache > Verifikation > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers