The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9. Mai 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Derrick G. Kourie
The Correctness-by-Construction Approach to Programming 2012 edition

Preis
SFr. 85,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 1. - 9. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

266 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 9. Mai 2014
ISBN13 9783642448546
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 266
Maße 155 × 235 × 15 mm   ·   394 g
Sprache Englisch  

Alle Titel von Derrick G. Kourie ansehen ( u. a. Gebundenes Buch und Taschenbuch )