Articles liés à Software Abstractions: Logic, Language, and Analysis
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurThe MIT Press
- Date d'édition2006
- ISBN 10 0262101149
- ISBN 13 9780262101141
- ReliureRelié
- Langueanglais
- Nombre de pages366
Acheter neuf
Afficher cet article
EUR 25,58
EUR 3,75 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Software Abstractions: Logic, Language, and Analysis
Image d'archives
Software Abstractions : Logic, Language, and Analysis
Edité par
MIT Press, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 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
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
The MIT Press, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00081457254
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions â" Logic, Language, and Analysis (OIP)
Edité par
Mit Pr, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR011853143
Quantité disponible : 3 disponible(s)
Image d'archives
Software Abstractions : Logic, Language, and Analysis
Edité par
MIT Press, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 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
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, And Analysis
Edité par
Mit Pr, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : Pella Books, Pella, IA, Etats-Unis
Évaluation du vendeur 2 sur 5 étoiles
Hardcover. Etat : Used Very Good. No Jacket. N° de réf. du vendeur 235238
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
Mit Pr, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. N° de réf. du vendeur C13B-01723
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
The MIT Press, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_417830239
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, And Analysis
Edité par
Mit Pr, 2006
ISBN 10 : 0262101149
ISBN 13 : 9780262101141
Ancien ou d'occasion
Couverture rigide
Vendeur : Grumpys Fine Books, Tijeras, NM, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : very good. little wear and tear. N° de réf. du vendeur Grumpy0262101149
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, And Analysis
Vendeur : Grumpys Fine Books, Tijeras, NM, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Prompt service guaranteed. N° de réf. du vendeur Clean0262101149
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks31872
Quantité disponible : 1 disponible(s)