{"product_id":"software-specification-methods-9781118613948","title":"Software Specification Methods","description":"\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":"Gardners","offers":[{"title":"Default Title","offer_id":53861717672215,"sku":null,"price":20674.05,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/1600628.webp?v=1784057041","url":"https:\/\/payment.letskitaboo.com\/products\/software-specification-methods-9781118613948","provider":"Kitaboo One eStore","version":"1.0","type":"link"}