Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science)

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

ISBN 10: 3642317618 ISBN 13: 9783642317613
Verlag: Springer 2012-07-19, 2012
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Chiron Media, Wallingford, Vereinigtes Königreich

AbeBooks-Verkäufer seit 2. August 2010

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 50,12
EUR 17,75 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

In den Warenkorb legen