Beckert, Bernhard/H�hnle, Reiner/Schmitt, Peter H.: Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334). 2007th ed. Springer, 2007. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped.

• Kategorie: Varia
• Schlagwörter: HELF
• Sprache: Englisch (en)
• ISBN: 9783540689775
• Bestellnummer: 8318VB

Unser Preis: EUR 16,--