The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9 maja 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

The Correctness-by-Construction Approach to Programming 2012 edition

Cena
zł 409,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 8 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 9 maja 2014
ISBN13 9783642448546
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 266
Wymiary 155 × 235 × 15 mm   ·   394 g
Język Angielski