VLB Suche

Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)

Drucken

Suchergebnisse

Produktdetails

Formal Verification of Object-Oriented Software

Autor
Herausgegeben von Bernhard Beckert, Herausgegeben von Ferruccio Damiani, Herausgegeben von Dilian Gurov

Formal Verification of Object-Oriented Software

Untertitel
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Verlag
Springer Berlin
ISBN/EAN
978-3-642-31762-0
Preis
48,14 EUR
Status
lieferbar