{
"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 : An Introduction to Formal Methods
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
Customers Also Bought
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
