Para envios internacionais, simule o frete no carrinho de compras.
Sinopse
Software Abstractions introduces the key elements of the approach: a logic, which provides the building blocks of the language; a language, which adds a small amount of syntax to the logic for structuring descriptions; and an analysis, a form of constraint solving that offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties). The book uses Alloy as a vehicle because of its simplicity and tool support, but the book's lessons are mostly language-independent, and could also be applied in the context of other modeling languages.
Ficha técnica
Especificações
ISBN | 9780262101141 |
---|---|
Pré venda | Não |
Peso | 300g |
Autor para link | JACKSON DANIEL |
Livro disponível - pronta entrega | Não |
Dimensões | 23 x 16 x 1 |
Tipo item | Livro Importado |
Número da edição | 1ª EDICAO - 2006 |
Código Interno | 223848 |
Código de barras | 9780262101141 |
Acabamento | PAPERBACK |
Autor | JACKSON, DANIEL |
Editora | MIT PRESS |
Sob encomenda | Não |