{"title":"Bernd Finkbeiner","description":null,"products":[{"product_id":"runtime-verification-springer-nature-switzerland-ag-9783030320782-19th-international-conference-rv-2019-porto-portugal-october-8-11-2019-proceedings-bernd-finkbeiner","title":"Runtime Verification","description":"\u003cp\u003e\u003cstrong\u003eRuntime Verification\u003c\/strong\u003e by Bernd Finkbeiner, Leonardo Mariani.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2019), Paperback, 413 pages.\u003c\/p\u003e","brand":"Bernd Finkbeiner","offers":[{"title":"Default Title","offer_id":52229875204438,"sku":"9783030320782","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030320782.jpg?v=1767745765"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783319249520-13th-international-symposium-atva-2015-shanghai-china-october-12-15-2015-proceedings-bernd-finkbeiner","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Bernd Finkbeiner and published by Springer International Publishing AG in 2015. This comprehensive volume, spanning 520 pages, compiles the proceedings from the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), held in Shanghai, China. Within these pages, you will find 27 meticulously revised papers alongside 6 innovative tool papers, all selected through a rigorous review process from a competitive pool of 95 submissions. This book is an essential resource for researchers and practitioners in the fields of automatic theorem proving and verification technology. Enhance your understanding of the latest advancements and methodologies in automated analysis with this invaluable collection.\u003c\/p\u003e","brand":"Bernd Finkbeiner","offers":[{"title":"Default Title","offer_id":52251448672598,"sku":"9783319249520","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319249520.jpg?v=1767778986"},{"product_id":"verification-model-checking-and-abstract-interpretation-springer-nature-switzerland-ag-9783030945824-23rd-international-conference-vmcai-2022-philadelphia-pa-usa-january-16-18-2022-proceedings-bernd-finkbeiner","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eDiscover the cutting-edge research in \"Verification, Model Checking, and Abstract Interpretation,\" authored by Bernd Finkbeiner and published by Springer Nature Switzerland AG in 2022. This first edition spans 520 pages and compiles the proceedings from the prestigious 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), held in Philadelphia, PA, USA, in January 2022. Inside, you will find 22 meticulously reviewed papers selected from a competitive pool of 48 submissions, showcasing the latest advancements in the field. Ideal for researchers, practitioners, and students, this book offers valuable insights into the methodologies and applications of verification and model checking. Enhance your understanding of abstract interpretation with this essential resource for anyone interested in formal methods and software verification.\u003c\/p\u003e","brand":"Bernd Finkbeiner","offers":[{"title":"Default Title","offer_id":52255571738966,"sku":"9783030945824","price":96.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030945824.jpg?v=1767784936"}],"url":"https:\/\/www.englishbook.pt\/collections\/bernd-finkbeiner.oembed","provider":"Bookshop","version":"1.0","type":"link"}