0

Verification of Object-Oriented Software

The KeY Approach - Lecture Notes in Artificial Intelligence 4334, Lecture Notes

Hähnle, Reiner / H Schmitt, Peter
Erschienen am 01.01.2007, Auflage: 1. Auflage
CHF 127,00
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540689775
Sprache: Englisch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.