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.
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.
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
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 7719-9780471939733
Quantité disponible : 1 disponible(s)
Vendeur : BooksByLisa, Highland Park, IL, Etats-Unis
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
Quantité disponible : 1 disponible(s)
Vendeur : Bahamut Media, Reading, Royaume-Uni
Etat : Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. N° de réf. du vendeur 6545-9780471939733
Quantité disponible : 1 disponible(s)
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
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
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
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
Quantité disponible : 1 disponible(s)
Vendeur : Goodwill of Central and Coastal Virginia, Richmond, VA, Etats-Unis
Etat : acceptable. N° de réf. du vendeur CCVV.0471939730.A
Quantité disponible : 1 disponible(s)
Vendeur : Librería Oeste, MADRID, M, Espagne
Etat : Muy Bueno. 406. Wiley, 1994, 406pp, Tapa blanda. PORTADA PLASTIFICADA. . N° de réf. du vendeur 000000123968
Quantité disponible : 1 disponible(s)
Vendeur : YESIBOOKSTORE, MIAMI, FL, Etats-Unis
paperback. Etat : As New. This item is printed on demand. N° de réf. du vendeur 0471939730-VB
Quantité disponible : 1 disponible(s)
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9780471939733
Quantité disponible : 15 disponible(s)
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur P1-9780471939733
Quantité disponible : 1 disponible(s)