Tipsa dina vänner om produkten:
Constructing Correct Software - Formal Approaches to Computing & Information Technology S. John Cooke 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
Constructing Correct Software - Formal Approaches to Computing & Information Technology S.
John Cooke
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 allaSe alt med John Cooke ( t.ex. Pocketbok , Inbunden Bok och Bok )