Conte aos seus amigos sobre este item:
Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press
Jackson, Daniel (Massachusetts Institute of Technology)
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 por Jackson, Daniel (Massachusetts Institute of Technology)
Ver tudo de Jackson, Daniel (Massachusetts Institute of Technology) ( por exemplo Hardcover Book e Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro