Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334).

Beckert, Bernhard/H�hnle, Reiner/Schmitt, Peter H.

ISBN 10: 354068977X ISBN 13: 9783540689775
Verlag: Springer., 2007
Sprache: Englisch
Zustand: Gebraucht Softcover

Verkauft von Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland

Verbandsmitglied:

AbeBooks-Verkäufer seit 9. April 2003

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Preis:
EUR 16,00
EUR 30,00 shipping
Ships from Deutschland to USA

Anzahl: 1 verfügbar

In den Warenkorb legen