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
R$ 261,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Jackson, Daniel (Massachusetts Institute of Technology)

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

Ainda não avaliado

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  

Mais da mesma editora

Ver tudo de Jackson, Daniel (Massachusetts Institute of Technology)