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.
Résultats de recherche pour Z 2e
Image fournie par le vendeur
Z: An Introduction to Formal Methods
Edité par
Wiley, 1994
ISBN 10 : 0471939730
ISBN 13 : 9780471939733
Ancien ou d'occasion
Couverture souple
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. N° de réf. du vendeur OTV.0471939730.VG
Acheter D'occasion
EUR 8,95
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Z 2e: An Introduction to Formal Methods 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
Acheter D'occasion
EUR 5,08
Expédition à EUR 4,78
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 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. N° de réf. du vendeur G0471939730I3N00
Acheter D'occasion
EUR 9,86
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur GRP10843577
Acheter D'occasion
EUR 5,61
Expédition à EUR 5,80
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Z: An Introduction to Formal Methods
Vendeur : BooksByLisa, Highland Park, IL, Etats-Unis
Évaluation du vendeur 5 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. Book. N° de réf. du vendeur 3395
Acheter neuf
EUR 13,12
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Z 2e: An Introduction to Formal Methods
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
Acheter D'occasion
EUR 5,12
Expédition à EUR 8,10
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Z 2e: An Introduction to Formal Methods
Edité par
Wiley, 1994
ISBN 10 : 0471939730
ISBN 13 : 9780471939733
Ancien ou d'occasion
Couverture souple
Vendeur : Librería Oeste, MADRID, M, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Muy Bueno. 406. Wiley, 1994, 406pp, Tapa blanda. PORTADA PLASTIFICADA. . N° de réf. du vendeur 000000123968
Acheter D'occasion
EUR 20
Expédition à EUR 24,50
Expédition depuis Espagne vers Etats-Unis
Expédition depuis Espagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Z
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9780471939733
Acheter neuf
EUR 68,11
Expédition à EUR 5,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Z
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur P1-9780471939733
Acheter D'occasion
EUR 68,11
Expédition à EUR 5,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Z: An Introduction to Formal Methods (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur d2ae217098b3e03125d8db977a93cb18
Acheter neuf
EUR 68,28
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles