Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - Böcker - Springer London Ltd - 9781852338206 - 8 november 2004
Om omslag och titel inte matchar är det titeln som gäller

Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

Pris
SEK 649

Beställningsvara

Förväntad leverans 7 - 16 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller

Illustrates and explains the constructive approach to software development. This book uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.


532 pages, 100 black & white illustrations, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 8 november 2004
ISBN13 9781852338206
Utgivare Springer London Ltd
Antal sidor 509
Mått 155 × 234 × 24 mm   ·   748 g
Språk Engelska  

Fler produkter med John Cooke

Visa alla