Korrektheit für Konstruktion Ansatz zur Programmierung, Hardcover von Kourie, Der...
116,19 €
Correctness-by-Construction Approach to Programming, Hardcover by Kourie, Derrick G.; Watson, Bruce W., ISBN 364227918X, ISBN-13 9783642279188, Like New Used, Free shipping in the US 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.
Jetzt bei Ebay:
