Faites connaître cet article à vos amis:
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 8 novembre 2004 |
| ISBN13 | 9781852338206 |
| Éditeurs | Springer London Ltd |
| Pages | 509 |
| Dimensions | 155 × 234 × 24 mm · 748 g |
| Langue et grammaire | Anglais |
Plus par John Cooke
Afficher toutVoir tous les John Cooke ( par ex. Paperback Book , Hardcover Book et Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier