{"product_id":"software-specification-methods-9781905209347","title":"Software Specification Methods","description":"\u003cp\u003e • Author(s): Henri Habrias\u003cbr\u003e • Publisher: Wiley-Iste\u003cbr\u003e • Publisher Imprint: Wiley-Iste\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.\u003c\/p\u003e","brand":"Wiley-Iste","offers":[{"title":"Hardcover","offer_id":45201579081879,"sku":"9781905209347","price":12170.0,"currency_code":"INR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781905209347.webp?v=1767667971","url":"https:\/\/atlanticbooks.com\/products\/software-specification-methods-9781905209347","provider":"Atlantic Books","version":"1.0","type":"link"}