The Correctness-by-Construction Approach to Programming - Derrick G. Kourie - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642448546 - 9 maj 2014
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.079

Beställningsvara

Förväntad leverans 19 - 27 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med Derrick G. Kourie

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även 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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 9 maj 2014
ISBN13 9783642448546
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 266
Mått 155 × 235 × 15 mm   ·   394 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Derrick G. Kourie