{"product_id":"abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-9783642308840","title":"Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings","description":"\u003cp\u003e • Author(s): John Derrick | John Fitzgerald | Stefania Gnesi\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Data Science - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47596982337687,"sku":"9783642308840","price":5758.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642308840.webp?v=1774995833","url":"https:\/\/atlanticbooks.com\/products\/abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-9783642308840","provider":"Atlantic Books","version":"1.0","type":"link"}