menu
{ "item_title" : "Z", "item_author" : [" Antoni Diller "], "item_description" : "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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/0/47/193/973/0471939730_b.jpg", "price_data" : { "retail_price" : "136.95", "online_price" : "136.95", "our_price" : "136.95", "club_price" : "136.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Z|Antoni Diller

Z : An Introduction to Formal Methods

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9780471939733
  • ISBN-10: 0471939730
  • Publisher: Wiley
  • Publish Date: July 1994
  • Dimensions: 9.67 x 6.61 x 0.85 inches
  • Shipping Weight: 1.4 pounds
  • Page Count: 400

Related Categories

You May Also Like...

    1

BAM Customer Reviews