{"product_id":"interactive-systems-design-specification-and-verification-1st-eurographics-workshop-bocca-di-magra-italy-june-1994-9783642871177","title":"Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994","description":"\u003cp\u003e • Author(s): Fabio Paterno\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Computer Graphics\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book is the proceedings of the first Eurographics workshop on design, specification and verification of interactive systems, held in June 1994. It reviews the state of the art, compares different approaches, and indicates the relevant results.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284055285911,"sku":"9783642871177","price":3633.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642871177.webp?v=1769280073","url":"https:\/\/atlanticbooks.com\/products\/interactive-systems-design-specification-and-verification-1st-eurographics-workshop-bocca-di-magra-italy-june-1994-9783642871177","provider":"Atlantic Books","version":"1.0","type":"link"}