Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - Livros - Springer London Ltd - 9781852338206 - 8 de novembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

John Cooke

Preço
NZD 108,50
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 - 31 de jul
Adicione à sua lista de desejos do iMusic

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

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  

Mostrar tudo

Mais por John Cooke