{"product_id":"formal-methods-and-software-development-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-tapsoft-b-9783540151999","title":"Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B","description":"\u003cp\u003e • Author(s): Hartmut Ehrig\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Questions \u0026amp; Answers\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284341678231,"sku":"9783540151999","price":3452.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540151999.webp?v=1769280918","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-and-software-development-proceedings-of-the-international-joint-conference-on-theory-and-practice-of-software-development-tapsoft-b-9783540151999","provider":"Atlantic Books","version":"1.0","type":"link"}