Articles liés à Software Abstractions, revised edition: Logic, Language,...
Synopsis
Software Abstractions 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 concept... 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'édition2011
- ISBN 10 0262017156
- ISBN 13 9780262017152
- ReliureRelié
- Langueanglais
- Nombre de pages354
Autres éditions populaires du même titre
Résultats de recherche pour Software Abstractions, revised edition: Logic, Language,...
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
Mit Pr, 2012
ISBN 10 : 0262017156
ISBN 13 : 9780262017152
Ancien ou d'occasion
Couverture rigide
Vendeur : Orion Tech, Kingwood, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. N° de réf. du vendeur 0262017156-3-33274314
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions: Logic, Language, and Analysis
Edité par
Mit Pr, 2012
ISBN 10 : 0262017156
ISBN 13 : 9780262017152
Ancien ou d'occasion
Couverture rigide
Vendeur : clickgoodwillbooks, Indianapolis, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Acceptable. This is a hard cover book: Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. N° de réf. du vendeur 3O6S10000M0M
Quantité disponible : 1 disponible(s)
Image d'archives
Software Abstractions : Logic, Language, and Analysis
Edité par
MIT Press, 2011
ISBN 10 : 0262017156
ISBN 13 : 9780262017152
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 15605690-20
Quantité disponible : 1 disponible(s)