{"product_id":"formal-methods-toolkit","title":"Formal Methods Toolkit","description":"\u003cp\u003eThis book is a complete documentation for the Formal Methods Toolkit, which is a set of packages for software engineers working on safety-critical systems.\u003c\/p\u003e","brand":"Maciej Sobczak","offers":[{"title":"Paperback","offer_id":44275563135137,"sku":"9780244381028","price":93.71,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1rvkg56g-front-shortedge-384.jpg?v=1748260166","url":"https:\/\/bookswholesale.myshopify.com\/products\/formal-methods-toolkit","provider":"BooksWholesale","version":"1.0","type":"link"}