Articles liés à Software Abstractions, revised edition: Logic, Language,...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 47,27
EUR 4,63 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Software Abstractions, revised edition: Logic, Language,...
Image d'archives
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Edité par
The MIT Press, 2016
ISBN 10 : 0262528908
ISBN 13 : 9780262528900
Ancien ou d'occasion
Couverture souple
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00085498391
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780262528900_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780262528900
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780262528900
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Edité par
MIT Press, 2016
ISBN 10 : 0262528908
ISBN 13 : 9780262528900
Ancien ou d'occasion
Couverture souple
Vendeur : Shopbookaholic Inc, Wichita, KS, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : LikeNew. Like New conditon. Virtually no defects. Almost Perfect. N° de réf. du vendeur 51JM4N000R21_ns
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Abstractions: Logic, Language, and Analysis (Paperback or Softback)
Edité par
Mit Press 2/12/2016, 2016
ISBN 10 : 0262528908
ISBN 13 : 9780262528900
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Software Abstractions: Logic, Language, and Analysis 1.1. Book. N° de réf. du vendeur BBS-9780262528900
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Software Abstractions
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. revised edition. N° de réf. du vendeur LU-9780262528900
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Abstractions : Logic, Language, and Analysis
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 24824850-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
MIT Press Ltd, 2016
ISBN 10 : 0262528908
ISBN 13 : 9780262528900
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 560. N° de réf. du vendeur C9780262528900
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Abstractions, revised edition : Logic, Language, and Analysis
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. N° de réf. du vendeur 9780262528900
Quantité disponible : 1 disponible(s)