{"title":"Roderick Bloem","description":null,"products":[{"product_id":"hardware-and-software-verification-and-testing-springer-international-publishing-ag-9783319490519-12th-international-haifa-verification-conference-hvc-2016-haifa-israel-november-14-17-2016-proceedings-roderick-bloem","title":"Hardware and Software: Verification and Testing","description":"\u003cp\u003eDiscover the essential insights from the 12th International Haifa Verification Conference, HVC 2016, with \"Hardware and Software: Verification and Testing\" by Roderick Bloem. Published by Springer International Publishing AG in 2016, this first edition spans 211 pages of expert discussions and research findings that delve into the critical aspects of verification and testing in hardware and software systems. This comprehensive collection of refereed proceedings is perfect for researchers, practitioners, and students interested in the latest advancements in verification methodologies. Enhance your understanding of this vital field with the knowledge shared by leading experts at HVC 2016. Don't miss the opportunity to add this valuable resource to your library!\u003c\/p\u003e","brand":"Roderick Bloem","offers":[{"title":"Default Title","offer_id":52240779641174,"sku":"9783319490519","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319490519.jpg?v=1767763354"},{"product_id":"software-verification-springer-nature-switzerland-ag-9783030955601-13th-international-conference-vstte-2021-new-haven-ct-usa-october-18-19-2021-and-14th-international-workshop-nsv-2021-los-angeles-ca-usa-july-18-19-2021-revised-selected-papers-roderick-bl","title":"Software Verification","description":"\u003cp\u003eDiscover the essential insights of software verification with \"Software Verification,\" authored by Roderick Bloem. Published by Springer Nature Switzerland AG in 2022, this first edition spans 197 pages of valuable content. This book compiles the refereed proceedings from the 13th International Conference on Verified Software (VSTTE 2021) and the 14th International Workshop on Numerical Software Verification (NSV 2021), both held online in July and October 2021. Ideal for researchers, practitioners, and students, it delves into the latest advancements and methodologies in the field of software verification. Enhance your understanding and keep pace with the evolving landscape of software reliability and correctness. Add this pivotal resource to your collection today!\u003c\/p\u003e","brand":"Roderick Bloem","offers":[{"title":"Default Title","offer_id":52259408216406,"sku":"9783030955601","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030955601.jpg?v=1767789970"},{"product_id":"decidability-of-parameterized-verification-springer-international-publishing-ag-9783031008832-roderick-bloem","title":"Decidability of Parameterized Verification","description":"\u003cp\u003eExplore the intricate world of model checking with \"Decidability of Parameterized Verification\" by Roderick Bloem. Published by Springer International Publishing AG in 2015, this insightful paperback spans 158 pages and delves into the complexities of parameterized model checking. Unlike the classic model checking problem, which focuses on finite systems, this book addresses the challenge of determining whether a system, parameterized by a natural number n, satisfies a given specification for all n in natural numbers. Bloem's work is essential for anyone interested in the advancements of verification techniques and their applications in computer science. Enhance your understanding of this vital area in formal verification and model checking by adding this comprehensive resource to your collection.\u003c\/p\u003e","brand":"Roderick Bloem","offers":[{"title":"Default Title","offer_id":52276461830486,"sku":"9783031008832","price":48.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031008832.jpg?v=1767817475"}],"url":"https:\/\/www.bookshop.lt\/collections\/roderick-bloem.oembed","provider":"Bookshop","version":"1.0","type":"link"}