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.

• Category: Varia
• Keywords: HELF
• Language: English (en)
• ISBN: 9783540689775
• Order Number: 8318VB

Our Price: EUR 16,--