{"product_id":"z-antoni-diller-9780471939733","title":"Z: An Introduction to Formal Methods","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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Antoni Diller\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0471939730\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780471939733\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Wiley\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/19\/1994\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 400\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.40lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.67h x 6.61w x 0.85d","brand":"Antoni Diller","offers":[{"title":"Paperback","offer_id":46685599957247,"sku":"9780471939733","price":136.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_d67f3827-6a21-43b8-9f67-49034a88f126.jpg?v=1741726207","url":"https:\/\/www.whiterainbookhouse.com\/products\/z-antoni-diller-9780471939733","provider":"WR Book House","version":"1.0","type":"link"}