{"product_id":"principles-of-verification-cycling-the-probabilistic-landscape-springer-international-publishing-ag-9783031757778-essays-dedicated-to-joost-pieter-katoen-on-the-occasion-of-his-60th-birthday-part-iii-nils-jansen","title":"Principles of Verification: Cycling the Probabilistic Landscape","description":"\u003cp\u003e\u003cstrong\u003ePrinciples of Verification: Cycling the Probabilistic Landscape\u003c\/strong\u003e by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2024), Paperback, 503 pages.\u003c\/p\u003e","brand":"Nils Jansen","offers":[{"title":"Default Title","offer_id":52258967159126,"sku":"9783031757778","price":68.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031757778.jpg?v=1767789433","url":"https:\/\/www.bookshop.lt\/products\/principles-of-verification-cycling-the-probabilistic-landscape-springer-international-publishing-ag-9783031757778-essays-dedicated-to-joost-pieter-katoen-on-the-occasion-of-his-60th-birthday-part-iii-nils-jansen","provider":"Bookshop","version":"1.0","type":"link"}