Isbn: 9780471939733 - z 2e: an introduction to formal methods (26 risultati)

Condizione: 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. .…

Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Condizione: 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.

Condizione: acceptable.

Soft cover. Condizione: New. Second Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.

Condizione: Muy Bueno. 406. Wiley, 1994, 406pp, Tapa blanda. PORTADA PLASTIFICADA. .

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: new.

Paperback. Condizione: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 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. Num Pages: 394 pages, glossary. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 172 x 244 x 21. Weight in Grams: 690. . 1994. 2nd Edition. Paperback. . . . .…

Condizione: New. pp. 394.

Condizione: New. In English.

Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.

Condizione: New. pp. 394 2nd Edition.

Condizione: New. 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. Num Pages: 394 pages, glossary. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 172 x 244 x 21. Weight in Grams: 690. . 1994. 2nd Edition. Paperback. . . . . Books ship from the US and Ireland.…

Condizione: New. Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tu.

Taschenbuch. Condizione: Neu. Neuware - 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.…

Paperback. Condizione: Brand New. 2nd sub edition. 394 pages. 9.75x6.75x1.00 inches. In Stock.

Paperback. Condizione: Brand New. 2nd sub edition. 394 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand.

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Paperback. Condizione: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condizione: New. PRINT ON DEMAND pp. 394.