{"product_id":"model-checking-synthesis-and-learning-springer-nature-switzerland-ag-9783030913830-essays-dedicated-to-bengt-jonsson-on-the-occasion-of-his-60th-birthday-ernst-r-diger-olderog","title":"Model Checking, Synthesis, and Learning","description":"\u003cp\u003eDiscover the intricate world of verification and learning with \u003cstrong\u003eModel Checking, Synthesis, and Learning\u003c\/strong\u003e by \u003cstrong\u003eErnst-Rüdiger Olderog\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, this insightful paperback spans 219 pages and offers a comprehensive exploration of finite state systems, testing methodologies, and probabilistic and timed systems. Olderog's extensive research reflects both diversity and depth, making this book an essential resource for anyone interested in advanced topics in computer science. Whether you are a student, researcher, or practitioner, this first edition provides valuable insights into model checking and synthesis techniques that are crucial for understanding modern distributed systems. Enhance your knowledge and skills with this authoritative guide from a leading expert in the field.\u003c\/p\u003e","brand":"Ernst-Rüdiger Olderog","offers":[{"title":"Default Title","offer_id":52268185846102,"sku":"9783030913830","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030913830.jpg?v=1767801184","url":"https:\/\/www.englishbook.pt\/products\/model-checking-synthesis-and-learning-springer-nature-switzerland-ag-9783030913830-essays-dedicated-to-bengt-jonsson-on-the-occasion-of-his-60th-birthday-ernst-r-diger-olderog","provider":"Bookshop","version":"1.0","type":"link"}