Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 339 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 08.12.2020

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 339 Seiten

Erscheinungsdatum: 09.12.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Deductive Software Verification – The KeY Book

From Theory to Practice

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 702 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.12.2016

117,69 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Deductive Software Verification – The KeY Book

From Theory to Practice

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 702 Seiten

Erscheinungsdatum: 21.12.2016

128,39 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel