Articles liés à Z 2e
Synopsis
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.
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 28,21
EUR 28,45 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Z 2e
Image d'archives
Z 2e: An Introduction to Formal Methods (Computer Science)
Vendeur : Bahamut Media, Reading, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. N° de réf. du vendeur 6545-9780471939733
Quantité disponible : 2 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods (Computer Science)
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Z 2e: An Introduction to Formal Methods (Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. N° de réf. du vendeur 7719-9780471939733
Quantité disponible : 2 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. N° de réf. du vendeur GOR006846585
Quantité disponible : 1 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. 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 GOR001433927
Quantité disponible : 1 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. N° de réf. du vendeur GOR002411289
Quantité disponible : 1 disponible(s)
Image d'archives
Z : An Introduction to Formal Methods
Edité par
Wiley & Sons, Incorporated, John, 1994
ISBN 10 : 0471939730
ISBN 13 : 9780471939733
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 2nd. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur GRP10843577
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Z, an introduction to formal methods Antoni Diller.
Edité par
Chichester, Wiley, 1995
ISBN 10 : 0471939730
ISBN 13 : 9780471939733
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 767: (1995) 9780471939733 Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 2503239
Quantité disponible : 1 disponible(s)
Image d'archives
Z : An Introduction to Formal Methods
Edité par
Wiley & Sons, Incorporated, John, 1994
ISBN 10 : 0471939730
ISBN 13 : 9780471939733
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. 2nd. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur GRP13689726
Quantité disponible : 1 disponible(s)
Image d'archives
Z: An Introduction to Formal Methods
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.75. N° de réf. du vendeur G0471939730I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Z: An Introduction to Formal Methods
Vendeur : BooksByLisa, Highland Park, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Soft cover. Etat : New. Second Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. N° de réf. du vendeur 3395
Quantité disponible : 1 disponible(s)