{"product_id":"formal-methods-in-computer-science-taylor-francis-inc-9781498775328-jiacun-wang","title":"Formal Methods in Computer Science","description":"\u003cp\u003eThis textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.\u003c\/p\u003e","brand":"Jiacun Wang","offers":[{"title":"Default Title","offer_id":52243231474006,"sku":"9781498775328","price":98.2,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781498775328.jpg?v=1767766227","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-in-computer-science-taylor-francis-inc-9781498775328-jiacun-wang","provider":"Bookshop","version":"1.0","type":"link"}