Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

Jackson, Daniel

ISBN 10: 0262528908 ISBN 13: 9780262528900

Editorial: MIT Press, 2016

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Best Price, Torrance, CA, Estados Unidos de America

Vendedor de AbeBooks desde 30 de agosto de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 39,27 Convertir moneda

EUR 92,43 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

SUPER FAST SHIPPING.

N� de ref. del art�culo 9780262528900

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)

Editor

MIT Press

Fecha de publicaci�n

2016

Idioma

Ingl�s

ISBN 10

0262528908

ISBN 13

9780262528900

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.

Acerca del autor

Daniel Jackson is a photographer and Professor of Computer Science at MIT. His images of contemporary laboratories were shown at the MIT Museum in conjunction with a major exhibit of Berenice Abbott's MIT work in 2012, and other images have appeared in group shows nationwide.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Condiciones de venta y env�o

Condiciones de venta

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

SUPER FAST SHIPPING!

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 59 a 60 d�as h�biles	De 59 a 60 d�as h�biles
Primer art�culo	EUR 92.43	EUR 111.25

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.