{"product_id":"9789819616206-software-fault-prevention-verification","title":"Software Fault Prevention, Verification, and Validation","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eFirst International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings\u003cbr\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2–3, 2024.\u003c\/p\u003e\n\u003cp\u003eThe 18 full papers included in this book were carefully reviewed and selected from 39 submissions.\u003c\/p\u003e\n\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282776895862,"sku":"9789819616206","price":52.65,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36199881_deeb68e2-ae44-47e1-b157-b3fb3fa52697.jpg?v=1758768032","url":"https:\/\/www.rarewaves.com\/products\/9789819616206-software-fault-prevention-verification","provider":"Rarewaves.com","version":"1.0","type":"link"}