Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Libros - MIT Press Ltd - 9780262528900 - 12 de febrero de 2016
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

Precio
Mex$ 825
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Jackson, Daniel (Massachusetts Institute of Technology)

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

Aún no valorado

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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de febrero de 2016
ISBN13 9780262528900
Editores MIT Press Ltd
Páginas 376
Dimensiones 231 × 154 × 23 mm   ·   498 g
Lengua Inglés  

Mere med samme udgiver

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