Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Livros - MIT Press Ltd - 9780262528900 - 12 de fevereiro de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jackson, Daniel (Massachusetts Institute of Technology)

Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Preço
zł 173,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 27 de nov - 3 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

376 pages, 58 b&w illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de fevereiro de 2016
ISBN13 9780262528900
Editoras MIT Press Ltd
Páginas 376
Dimensões 231 × 154 × 23 mm   ·   498 g
Idioma Inglês  
Mostrar tudo

Mais por Jackson, Daniel (Massachusetts Institute of Technology)

Ver tudo de Jackson, Daniel (Massachusetts Institute of Technology) ( por exemplo Hardcover Book e Paperback Book )