The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification – The KeY Book
From Theory to Practice
Produktform: E-Buch Text Elektronisches Buch in proprietärem
117,69 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification – The KeY Book
From Theory to Practice
Produktform: Buch / Einband - flex.(Paperback)
128,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage