Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N� de r�f. du vendeur 6073206-6

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Software Abstractions : Logic, Language, and...

�diteur : MIT Press

Date d'�dition : 2006

Reliure : Couverture rigide

Etat : Very Good

A propos de ce titre

Synopsis :

Software Abstractions A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated. Full description

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Better World Books is the world?s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Better World Books Ltd
Better World Books, Third Floor, One London Square, Cross Lanes, Guildford, GU1 1UN, United Kingdom

Conditions de vente :

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

Pour plus d'information

Conditions de livraison :

Please allow 1-2 business days for order fulfillment.

Modes de paiement
accept�s par le vendeur