{"product_id":"formal-description-techniques-vii-9780412644504","title":"Formal Description Techniques VII","description":"\u003cp\u003e • Author(s): D. Hogrefe\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electrical\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45284728733847,"sku":"9780412644504","price":14553.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780412644504.webp?v=1769282052","url":"https:\/\/atlanticbooks.com\/products\/formal-description-techniques-vii-9780412644504","provider":"Atlantic Books","version":"1.0","type":"link"}