{"product_id":"jiacun-wang-formal-methods-in-computer-science-9781498775328","title":"Formal Methods in Computer Science","description":"This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.","brand":"Chapman and Hall\/CRC","offers":[{"title":"Default Title","offer_id":53697005289814,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781498775328_1.jpg?v=1778862521","url":"https:\/\/www.momoxbooks.com\/products\/jiacun-wang-formal-methods-in-computer-science-9781498775328","provider":"momoxbooks","version":"1.0","type":"link"}