{"product_id":"9781118613948","title":"Software Specification Methods","description":"This 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.","brand":"Wiley","offers":[{"title":"Default Title","offer_id":47078231179504,"sku":"9781118613948","price":147.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781118613948_p0.jpg?v=1763694855","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781118613948","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}