{"title":"Dirk Beyer","description":null,"products":[{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-springer-nature-switzerland-ag-9783030175016-25-years-of-tacas-toolympics-held-as-part-of-etaps-2019-prague-czech-republic-april-6-11-2019-proceedings-part-iii-dirk-beyer","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003e\u003cstrong\u003eTools and Algorithms for the Construction and Analysis of Systems\u003c\/strong\u003e by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2019), Paperback, 258 pages.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226442002774,"sku":"9783030175016","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030175016.jpg?v=1767740064"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-springer-international-publishing-ag-9783319899596-24th-international-conference-tacas-2018-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2018-thes","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003e\u003cstrong\u003eTools and Algorithms for the Construction and Analysis of Systems\u003c\/strong\u003e by Dirk Beyer, Marieke Huisman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2018), Paperback, 429 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer science, Computer algorithms, Computer input-output equipment, Computer organization.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226443280726,"sku":"9783319899596","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319899596.jpg?v=1767740062"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-springer-international-publishing-ag-9783319899626-24th-international-conference-tacas-2018-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2018-thes","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003e\u003cstrong\u003eTools and Algorithms for the Construction and Analysis of Systems\u003c\/strong\u003e by Dirk Beyer, Marieke Huisman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2018), Paperback, 465 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer science, Computer algorithms, Computer input-output equipment, Computer organization.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226445443414,"sku":"9783319899626","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319899626.jpg?v=1767740066"},{"product_id":"tests-and-proofs-springer-nature-switzerland-ag-9783030311568-13th-international-conference-tap-2019-held-as-part-of-the-third-world-congress-on-formal-methods-2019-porto-portugal-october-9-11-2019-proceedings-dirk-beyer","title":"Tests and Proofs","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e, authored by Dirk Beyer and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 13th International Conference on Tests and Proofs (TAP 2019), which took place during the Third World Congress on Formal Methods in Porto, Portugal, in October 2019.\u003c\/p\u003e \n\n\u003cp\u003eWith a total of 207 pages, this edition showcases 10 regular papers and 2 invited papers, all rigorously reviewed and selected from a competitive pool of 19 submissions. Ideal for researchers and professionals in the field, this book delves into the latest advancements in formal methods, testing, and proofs, making it an essential addition to your academic library.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this evolving field with the insights and findings presented in \u003cstrong\u003eTests and Proofs\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52226903802198,"sku":"9783030311568","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030311568.jpg?v=1767740830"},{"product_id":"verification-model-checking-and-abstract-interpretation-springer-nature-switzerland-ag-9783030393212-21st-international-conference-vmcai-2020-new-orleans-la-usa-january-16-21-2020-proceedings-dirk-beyer","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eDiscover the latest advancements in formal verification with \"Verification, Model Checking, and Abstract Interpretation,\" authored by Dirk Beyer. This comprehensive volume presents the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). Published by Springer Nature Switzerland AG in 2020, this paperback edition spans an impressive 471 pages, making it an essential resource for researchers and practitioners in the field. Dive into cutting-edge methodologies and insights that drive the future of software verification and analysis. Whether you're a seasoned expert or new to the topic, this book offers valuable knowledge to enhance your understanding and expertise. Don't miss the opportunity to enrich your library with this pivotal work by Dirk Beyer.\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52255571870038,"sku":"9783030393212","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030393212.jpg?v=1767784937"},{"product_id":"toolympics-challenge-2023-springer-international-publishing-ag-9783031676949-updates-results-successes-of-the-formal-methods-competitions-dirk-beyer","title":"TOOLympics Challenge 2023","description":"\u003cp\u003eDiscover the exciting world of formal methods with the latest release, \u003cstrong\u003eTOOLympics Challenge 2023\u003c\/strong\u003e by Dirk Beyer. Published by Springer International Publishing AG in 2024, this engaging paperback edition spans 172 pages and captures the essence of the third edition of the TOOLympics series. This event, held alongside the European Joint Conferences on Theory and Practice of Software (ETAPS 2023) in Paris, France, showcases thrilling competitions that push the boundaries of software methodologies. Whether you are a student, researcher, or professional in the field, this book offers valuable insights and highlights from the event. Join the challenge and elevate your understanding of formal methods with this essential read!\u003c\/p\u003e","brand":"Dirk Beyer","offers":[{"title":"Default Title","offer_id":52255930679638,"sku":"9783031676949","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031676949.jpg?v=1767785423"}],"url":"https:\/\/www.bookshop.lt\/collections\/dirk-beyer.oembed","provider":"Bookshop","version":"1.0","type":"link"}