{"product_id":"formal-specification-using-vdm-topse-practical-course","title":"Formal Specification using VDM++ (TopSE Practical Course)","description":"\u003cp\u003eFormal Specification using VDM++ (TopSE Practical Course)\u003c\/p\u003e\n\u003cp\u003eby Various\u003c\/p\u003e\n\u003cp\u003eAuthentic Japanese book — sourced in Japan and shipped worldwide with full tracking. A title from Japan, delivered straight to your door.\u003c\/p\u003e\n\u003cp\u003eISBN 9784764904095 · ISBN-10 4764904098\u003c\/p\u003e","brand":"Amanogawa","offers":[{"title":"Default Title","offer_id":53849644499055,"sku":"AB-9784764904095","price":69.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0580\/2849\/0863\/files\/9784764904095.jpg?v=1784489567","url":"https:\/\/amanogawa.cloud\/products\/formal-specification-using-vdm-topse-practical-course","provider":"Amanogawa","version":"1.0","type":"link"}