
Conte aos seus amigos sobre este item:
Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition
John Cooke
Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition
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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 8 de novembro de 2004 |
ISBN13 | 9781852338206 |
Editoras | Springer London Ltd |
Páginas | 509 |
Dimensões | 155 × 234 × 24 mm · 748 g |
Idioma | English |
Mais por John Cooke
Ver tudo de John Cooke ( por exemplo Paperback Book , Hardcover Book e Book )