{"product_id":"formal-methods-and-software-engineering-springer-verlag-singapore-9789819975839-24th-international-conference-on-formal-engineering-methods-icfem-2023-brisbane-qld-australia-november-21-24-2023-proceedings-yi-li","title":"Formal Methods and Software Engineering","description":"\u003cp\u003e\u003cstrong\u003eFormal Methods and Software Engineering\u003c\/strong\u003e by Yi Li, Sofiène Tahar.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2023), Paperback, 300 pages.\u003c\/p\u003e","brand":"Yi Li","offers":[{"title":"Default Title","offer_id":52274327617878,"sku":"9789819975839","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789819975839.jpg?v=1767812573","url":"https:\/\/www.bookshop.lv\/products\/formal-methods-and-software-engineering-springer-verlag-singapore-9789819975839-24th-international-conference-on-formal-engineering-methods-icfem-2023-brisbane-qld-australia-november-21-24-2023-proceedings-yi-li","provider":"Bookshop","version":"1.0","type":"link"}