The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9. mai 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 999

Bestillingsvarer

Forventes levert 10. - 18. sep
Få varsel om nye utgivelser fra Derrick G. Kourie

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 9. mai 2014
ISBN13 9783642448546
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 266
Mål 155 × 235 × 15 mm   ·   394 g
Språk Engelsk  

Mer fra samme **utgiver**

Se alt med Derrick G. Kourie ( f.eks. Innbunden bok og Pocketbok )