{"product_id":"journey-from-process-algebra-via-timed-automata-to-model-learning-springer-international-publishing-ag-9783031156281-essays-dedicated-to-frits-vaandrager-on-the-occasion-of-his-60th-birthday-nils-jansen","title":"Journey from Process Algebra via Timed Automata to Model Learning","description":"\u003cp\u003eDiscover the innovative insights in \u003cstrong\u003eJourney from Process Algebra via Timed Automata to Model Learning\u003c\/strong\u003e by Nils Jansen, published by Springer International Publishing AG in 2022. This comprehensive 581-page paperback delves into the intricate world of formal methods, concurrency theory, verification, model checking, and automata learning, reflecting the expertise of Professor Frits, who has been a leading figure in Informatics for Technical Applications at Radboud University Nijmegen since 1995.\u003c\/p\u003e \u003cp\u003eThis first edition is a valuable resource for researchers and students alike, featuring contributions from esteemed colleagues and Ph.D. candidates. Explore the connections between process algebra, timed automata, and model learning, and enhance your understanding of these critical areas in computer science. Whether you are advancing your academic pursuits or seeking to deepen your knowledge, this book is an essential addition to your library.\u003c\/p\u003e","brand":"Nils Jansen","offers":[{"title":"Default Title","offer_id":52270711144790,"sku":"9783031156281","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031156281.jpg?v=1767805814","url":"https:\/\/www.bookshop.lt\/products\/journey-from-process-algebra-via-timed-automata-to-model-learning-springer-international-publishing-ag-9783031156281-essays-dedicated-to-frits-vaandrager-on-the-occasion-of-his-60th-birthday-nils-jansen","provider":"Bookshop","version":"1.0","type":"link"}