Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollst�ndigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N� de ref. del art�culo M00262528908-G

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Software Abstractions: Logic, Language, and ...

Editorial: MIT Press

A�o de publicaci�n: 2016

Encuadernaci�n: Encuadernaci�n de tapa blanda

Condici�n: good

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

**WILLKOMMEN** im AbeBooks Shop von medimops - dein Onlineshop mit der gr��ten Auswahl an Second Hand B�chern. St�ber dich durch �ber 4 Millionen Artikel und spare bis zu 70 % im Vergleich zum Neupreis. Wir pr�fen alle Artikel sorgf�ltig auf Qualit�t und Funktionalit�t. **WELCOME** to the medimop's AbeBooks shop, the online shop with a large range of second-hand books. Browse more than 4 million articles and save up to 70% on the new price. All our articles are quality checked. ** BIENVENUE ** dans la boutique AbeBooks de momox shop! Sp�cialiste des articles culturels d'occasion, nous vous offrons une gamme diversifi�e de livres d'occasion. D�couvrez nos offres et �conomisez jusqu'� 70% du prix neuf! Nous grarantissons tous nos articles en bon �tat. ** BENVENUTI ** nello shop medimops di AbeBooks, lo shop online per i libri usati. Abbiamo piu�di 4 milioni di articoli e potete risparmiare fino al 70% rispetto al nuovo. Tutti i nostri prodotti sono controllati a mano per garantire la massima qualit�. ** BIENVENIDO ** a la tienda de medimops en AbeBooks, la tienda online con una gran oferta de libros de segunda mano. Navegue por m�s de 4 millones de art�culos y ahorre hasta un 70% sobre el precio nuevo. Todos nuestros art�culos son de calidad comprobada.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

momox SE
Schreiberhauer Stra�e 30, Berlin, 10317, Germany

Condiciones de venta:

1. Alcance

Los siguientes t�rminos y condiciones se aplican a todos los pedidos realizados a trav�s de nuestra tienda en el Mercado de AbeBooks. A menos que se acuerde lo contrario, nos oponemos a la inclusi�n de los t�rminos y condiciones propios que usted pueda utilizar.

2. parte contratante, celebraci�n del contrato, opciones de correcci�n

El contrato de compra se celebra con momox SE.

El objeto del contrato es la venta de bienes.

Si un art�culo es publicado por nosotros en AbeBooks, la activ...

M�s informaci�n

Condiciones de env�o:

Informaci�n detallada sobre el vendedor

M�todos de pago
aceptados por la librer�a