{"product_id":"software-specification-methods","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":"ISTE Ltd and John Wiley \u0026 Sons Inc","offers":[{"title":"Default Title","offer_id":54251301175640,"sku":"9781905209347","price":195.86,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9781905209347.jpg?v=1753194649","url":"https:\/\/agendabookshop.com\/products\/software-specification-methods","provider":"Agenda Bookshop","version":"1.0","type":"link"}