Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Libros - MIT Press Ltd - 9780262017152 - 4 de noviembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 4 de noviembre de 2011
ISBN13 9780262017152
Editores MIT Press Ltd
Páginas 376
Dimensiones 234 × 161 × 24 mm   ·   630 g

Mas por Jackson, Daniel (Massachusetts Institute of Technology)

Mostrar todo

Mere med samme udgiver

Ver todo de Jackson, Daniel (Massachusetts Institute of Technology) ( Ej. Hardcover Book y Paperback Book )