Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - Kirjat - Springer London Ltd - 9781852338206 - maanantai 8. marraskuuta 2004
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

John Cooke

Hinta
€ 61,49

Tilattu etävarastosta

Arvioitu toimitus ti - to 22. - 31. heinä
Lisää iMusic-toivelistallesi
Eller

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 8. marraskuuta 2004
ISBN13 9781852338206
Tuottaja Springer London Ltd
Sivujen määrä 509
Mitta 155 × 234 × 24 mm   ·   748 g
Kieli English  

Näytä kaikki

Lisää tuotteita John Cooke