Taschenbuch
Versandfertig in 1-2 Wochen
113,00 €

Über Deductive Software Verification – The KeY Book

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

Sprache:
Englisch

ISBN:
9783319498119

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
702

Veröffentlicht:
21. Dezember 2016

Ausgabe:
12016

Abmessungen:
155x235x37 mm.

113,00 € inkl. MwSt.
~~117,69 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Deductive Software Verification – The KeY Book

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

Kund*innenbewertungen von Deductive Software Verification – The KeY Book

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Deductive Software Verification – The KeY Book ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Deductive Software Verification – The KeY Book

Beschreibung von Deductive Software Verification – The KeY Book

Kund*innenbewertungen von Deductive Software Verification – The KeY Book

Willkommen bei den Tales Buchfreunden und -freundinnen