A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.
Read More
A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.
Read Less
Add this copy of Z to cart. $71.01, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 1994 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Z: An Introduction to Formal Methods to cart. $63.24, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1994 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 400 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Z: An Introduction to Formal Methods to cart. $63.85, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1994 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 400 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Z: An Introduction to Formal Methods to cart. $82.47, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 1994 by Wiley.
Add this copy of Z: An Introduction to Formal Methods to cart. $83.11, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1994 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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.....We ship daily from our Bookshop.
Add this copy of Z to cart. $75.45, new condition, Sold by Paperbackshop International rated 1.0 out of 5 stars, ships from Fairford, GLOS, UNITED KINGDOM, published 1994 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Z. : an Introduction to Formal Methods to cart. $13.11, good condition, Sold by Bookmans rated 5.0 out of 5 stars, ships from Tucson, AZ, UNITED STATES, published 1990 by John Wiley & Sons Ltd.
