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

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

Jackson, Daniel (Massachusetts Institute of Technology)

Preço
Íkr 6.316,54

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 20 - 28 de nov
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

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

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 English  
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 )