The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 2014. gada 9. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

The Correctness-by-Construction Approach to Programming 2012 edition

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. jūl. - . gada 6. aug.
Saņemiet paziņojumus par jauniem Derrick G. Kourie izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2014. gada 9. maijs
ISBN13 9783642448546
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 266
Izmēri 155 × 235 × 15 mm   ·   394 g
Valoda Angļu  

Vairāk no tā paša izdevēja