Vertel uw vrienden over dit artikel:
Constructing Correct Software - Formal Approaches to Computing & Information Technology S. John Cooke 2nd Ed. 2005 edition
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 november 2004 |
| ISBN13 | 9781852338206 |
| Uitgevers | Springer London Ltd |
| Pagina's | 509 |
| Afmetingen | 155 × 234 × 24 mm · 748 g |
| Taal en grammatica | Engels |
Meer door John Cooke
Alles tonenBekijk alles van John Cooke ( bijv. Paperback Book , Hardcover Book en Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld