• Formal Verification of Object-...
  • Bestand

Treffer: Formal Verification of Object-Oriented Software

Titel:
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Verantwortlich:
Beckert, Bernhard (Herausgeber); Damiani, Ferruccio (Herausgeber); Gurov, Dilian (Herausgeber)
Ausgabe:
1st ed. 2012
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 251 Seiten) : 34 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 7421
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Verification of Object-Oriented Software. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642317613
Schlagworte:
ISBN:
9783642317620 ; 3642317626 ; 978--364231761-3 (Sekundärausgabe) ; 978--364231763-7 (Sekundärausgabe)
DOI:
10.1007/978-3-642-31762-0

Zusatz-Informationen

Zusatz-Funktionen