{"title":"Tikrinimas","description":"\u003cp\u003e\u003cstrong\u003eTikrinimas\u003c\/strong\u003e – šioje kategorijoje rasite 70 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.\u003c\/p\u003e","products":[{"product_id":"explore-it-9781937785024","title":"Explore It!","description":"\u003cp\u003eDiscover the art of exploratory testing with \u003cstrong\u003eExplore It!\u003c\/strong\u003e by \u003cstrong\u003eElisabeth Hendrickson\u003c\/strong\u003e, published in 2013. This insightful book spans 160 pages and is a must-read for anyone involved in software testing. Instead of relying solely on pre-planned tests, Hendrickson encourages readers to embrace a more dynamic approach by designing and executing small, rapid experiments. This method allows testers to uncover surprises, identify risks, and detect serious bugs effectively.\u003c\/p\u003e \n\n\u003cp\u003eWithin the pages of \u003cstrong\u003eExplore It!\u003c\/strong\u003e, you will learn essential skills that every master explorer should possess. From analyzing software to pinpoint vulnerabilities, to designing on-the-fly experiments, and honing your observation skills, this book equips you with the tools needed to focus your testing efforts strategically. Transform your testing practices and enhance your software quality with this engaging guide!\u003c\/p\u003e","brand":"Elisabeth Hendrickson","offers":[{"title":"Default Title","offer_id":51285274624342,"sku":"9781937785024","price":28.88,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781937785024.jpg?v=1757594455"},{"product_id":"principles-of-model-checking-9780262026499","title":"Principles of Model Checking","description":"\u003cp\u003eDiscover the essential guide to model checking with \"Principles of Model Checking\" by Christel Baier, published in 2008. This comprehensive book spans 984 pages, offering a deep dive into the foundations of this automated technique designed to identify flaws in both hardware and software.\u003c\/p\u003e\n\n\u003cp\u003eIn an era where our reliance on complex computer and software systems continues to grow, understanding how to assess their functional properties is paramount. This book equips readers with extensive examples and both practical and theoretical exercises, making it an invaluable resource for students and professionals alike. Whether you are venturing into the world of model checking or looking to enhance your existing knowledge, Baier's insightful discourse provides clarity on the critical techniques and tools developed over the past two decades. Don't miss the opportunity to deepen your understanding of an essential aspect of modern computing!\u003c\/p\u003e","brand":"Christel Baier","offers":[{"title":"Default Title","offer_id":51376249110870,"sku":"9780262026499","price":39.69,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262026499.jpg?v=1758482275"},{"product_id":"politics-of-weapons-inspections-9781503601604","title":"The Politics of Weapons Inspections","description":"\u003cp\u003eExplore the critical insights of Nathan E. Busch in his compelling book, \u003cstrong\u003ePolitics of Weapons Inspections\u003c\/strong\u003e, published in 2017. This 277-page work delves into the pressing need for robust monitoring and verification regimes in the face of ongoing controversies surrounding suspected weapons of mass destruction (WMD) programs in proliferating nations. Busch examines the intricacies of international mechanisms, including on-site inspections, designed to clarify the status of WMD initiatives in these regions. With a focus on biological and chemical arms control, as well as nuclear disarmament, this book addresses the strengths and limitations of current nonproliferation strategies. Readers will gain valuable perspectives on the effective implementation of these critical regimes and the technological and political challenges they face. Ideal for those interested in disarmament and global security, \u003cstrong\u003ePolitics of Weapons Inspections\u003c\/strong\u003e is a must-read for understanding the complexities of arms control in today's world.\u003c\/p\u003e","brand":"Nathan E. Busch","offers":[{"title":"Default Title","offer_id":51439930442070,"sku":"9781503601604","price":25.46,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781503601604.jpg?v=1759140545"},{"product_id":"verification-of-systems-and-circuits-using-lotos-petri-nets-and-ccs-john-wiley-sons-inc-9780471704492-michael-yoeli","title":"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS","description":"\u003cp\u003eDiscover the essential guide for modern digital systems with \"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS\" by Michael Yoeli, published by John Wiley \u0026amp; Sons Inc. In this comprehensive 248-page hardback, you'll find a step-by-step interactive introduction to the formal verification of systems and circuits, a crucial methodology in the face of today's complex parallel digital architectures. This book emphasizes the need for a formal approach to analysis and verification, equipping readers with knowledge of two robust analysis tool sets: LOTOS-based CADP and Petri-Net based PETRIFY. Ideal for students and professionals in computer engineering and software verification, this text serves as both a valuable resource and a practical guide to ensure the reliability of integrated circuits. Elevate your understanding of software engineering and circuit validation with this indispensable resource.\u003c\/p\u003e","brand":"Michael Yoeli","offers":[{"title":"Default Title","offer_id":52224762446166,"sku":"9780471704492","price":142.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780471704492.jpg?v=1767738175"},{"product_id":"verifying-nuclear-disarmament-taylor-francis-ltd-9781138103887-thomas-e-shea","title":"Verifying Nuclear Disarmament","description":"\u003cp\u003eExplore the critical complexities of global nuclear disarmament with \u003cstrong\u003eVerifying Nuclear Disarmament\u003c\/strong\u003e by \u003cstrong\u003eThomas E. Shea\u003c\/strong\u003e. Published by \u003cstrong\u003eTaylor \u0026amp; Francis Ltd\u003c\/strong\u003e in 2018, this meticulously researched hardback spans 240 pages, offering readers an in-depth analysis of the ongoing challenges in the nuclear non-proliferation treaty regime. \u003c\/p\u003e \n\n\u003cp\u003eAs the world grapples with persistent threats of nuclear war, terrorism, and the potential for further proliferation, Shea provides a comprehensive framework aimed at fostering effective nuclear disarmament. This essential read is perfect for policymakers, scholars, and anyone invested in understanding the vital implications of nuclear arms control.\u003c\/p\u003e \n\n\u003cp\u003eJoin the conversation on international security and the quest for a safer world with \u003cstrong\u003eVerifying Nuclear Disarmament\u003c\/strong\u003e, a pivotal contribution to the discourse on nuclear nonproliferation.\u003c\/p\u003e","brand":"Thomas E. Shea","offers":[{"title":"Default Title","offer_id":52224762577238,"sku":"9781138103887","price":207.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138103887.jpg?v=1767738177"},{"product_id":"verification-1996-taylor-francis-ltd-9780367212858-arms-control-peacekeeping-and-the-environment-j-b-poole","title":"Verification 1996","description":"\u003cp\u003eThis sixth issue of Verification on the aspects of international arms control and disarmament agreements documents the developments in the field during 1995. It discusses the anniversaries of the Second World War, the atomic bombing on Hiroshima and Nagasaki, and the United Nations.\u003c\/p\u003e","brand":"J. B. Poole","offers":[{"title":"Default Title","offer_id":52224762806614,"sku":"9780367212858","price":188.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367212858.jpg?v=1767738176"},{"product_id":"verification-1995-taylor-francis-ltd-9780367212841-arms-control-peacekeeping-and-the-environment-j-b-poole","title":"Verification 1995","description":"\u003cp\u003eThis fifth volume of annual reviews of developments in the implementation of arms control and environmental agreements and in peacekeeping activities covers recent developments. It discusses nuclear proliferation, nuclear testing, a fissile materials cut-off and the counter-proliferation concept.\u003c\/p\u003e","brand":"J. B. Poole","offers":[{"title":"Default Title","offer_id":52224762970454,"sku":"9780367212841","price":116.18,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367212841.jpg?v=1767738177"},{"product_id":"verification-and-validation-of-rule-based-expert-systems-taylor-francis-inc-9780849389023","title":"Verification and Validation of Rule-Based Expert Systems","description":"\u003cp\u003eExplore the world of rule-based expert systems with the insightful book \u003cstrong\u003eVerification and Validation of Rule-Based Expert Systems\u003c\/strong\u003e, authored by renowned experts in the field. Published by Taylor \u0026amp; Francis Inc in 1993, this hardback edition spans 224 pages and delves into innovative methodologies for ensuring the accuracy and reliability of expert systems. \u003c\/p\u003e \n\n\u003cp\u003eIdeal for practitioners and researchers alike, this book offers a thorough understanding of verification and validation processes that are crucial in developing effective rule-based systems. Discover practical techniques and strategies that can significantly enhance your approach to system design, ensuring robust performance and trusted outputs. Ideal for professionals looking to deepen their knowledge of expert systems, this book is a must-have for any technical library.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your expertise today by adding \u003cstrong\u003eVerification and Validation of Rule-Based Expert Systems\u003c\/strong\u003e to your collection at Bookshop!\u003c\/p\u003e","brand":"Suzanne Smith","offers":[{"title":"Default Title","offer_id":52224763134294,"sku":"9780849389023","price":225.31,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780849389023.jpg?v=1767738176"},{"product_id":"verification-taylor-francis-ltd-9780367212995-monitoring-disarmament-francesco-calogero","title":"Verification","description":"\u003cp\u003eThe volume brings together an international group of experts on the question of verification. Their essays examine the record of successes and failures of verification under existing treaties, the importance of verification in the context of negotiations and the prospects for progress on the arms control agenda.\u003c\/p\u003e","brand":"Francesco Calogero","offers":[{"title":"Default Title","offer_id":52224763396438,"sku":"9780367212995","price":188.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367212995.jpg?v=1767738179"},{"product_id":"verification-1996-taylor-francis-ltd-9780367215668-arms-control-peacekeeping-and-the-environment-j-b-poole","title":"Verification 1996","description":"\u003cp\u003eThis sixth issue of Verification on the aspects of international arms control and disarmament agreements documents the developments in the field during 1995. It discusses the anniversaries of the Second World War, the atomic bombing on Hiroshima and Nagasaki, and the United Nations.\u003c\/p\u003e","brand":"J. B. Poole","offers":[{"title":"Default Title","offer_id":52224931201366,"sku":"9780367215668","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367215668.jpg?v=1767738391"},{"product_id":"verification-1995-taylor-francis-ltd-9780367215651-arms-control-peacekeeping-and-the-environment-j-b-poole","title":"Verification 1995","description":"\u003cp\u003eThis fifth volume of annual reviews of developments in the implementation of arms control and environmental agreements and in peacekeeping activities covers recent developments. It discusses nuclear proliferation, nuclear testing, a fissile materials cut-off and the counter-proliferation concept.\u003c\/p\u003e","brand":"J. B. Poole","offers":[{"title":"Default Title","offer_id":52224931365206,"sku":"9780367215651","price":38.58,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367215651.jpg?v=1767738391"},{"product_id":"verification-of-computer-codes-in-computational-science-and-engineering-taylor-francis-inc-9781584882640-patrick-knupp","title":"Verification of Computer Codes in Computational Science and Engineering","description":"\u003cp\u003eDelve into the intricacies of computational accuracy with \"Verification of Computer Codes in Computational Science and Engineering\" by Patrick Knupp. Published in 2002, this insightful hardback spans 160 pages and introduces an innovative procedure known as OVMSP: Order-Verification via the Manufactured Solution Procedure. This method empowers readers to uncover nearly all coding 'bugs' that may hinder the correct resolution of governing partial differential equations. \u003c\/p\u003e \u003cp\u003eDesigned for professionals and students in engineering and computational science, this book not only guides you through the OVMSP technique but also showcases its practical effectiveness in real-world applications. Whether you're involved in civil, mechanical engineering, or general programming, Knupp's expertise provides invaluable insights for ensuring the reliability of numerical calculations and solutions. Enhance your understanding and mastery of coding techniques that are crucial in today's technological landscape. \u003c\/p\u003e","brand":"Patrick Knupp","offers":[{"title":"Default Title","offer_id":52224931594582,"sku":"9781584882640","price":207.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781584882640.jpg?v=1767738390"},{"product_id":"un-inspections-in-iraq-taylor-francis-ltd-9780367296872-lessons-for-onsite-verification-kathleen-c-bailey","title":"The Un Inspections In Iraq","description":"\u003cp\u003eDiscover the intricate challenges faced by United Nations inspection teams in Kathleen C. Bailey's thought-provoking book, \u003cstrong\u003eUn Inspections In Iraq\u003c\/strong\u003e. Published in 2019 by Taylor \u0026amp; Francis Ltd, this compelling hardback comprises 151 pages that delve into the post-Desert Storm era, where these teams were tasked with locating and dismantling Iraq's nuclear, chemical, biological, and missile programs.\u003c\/p\u003e \n\n\u003cp\u003eBailey expertly highlights the obstacles encountered during these critical inspections and sheds light on the crucial lessons regarding the vulnerabilities inherent in arms control verification. This insightful analysis not only enriches your understanding of international relations but also provides historical context to the ongoing discourse about global security. Perfect for scholars and policymakers alike, \u003cstrong\u003eUn Inspections In Iraq\u003c\/strong\u003e is a must-read for anyone interested in the complexities of arms inspection and international diplomacy.\u003c\/p\u003e","brand":"Kathleen C. Bailey","offers":[{"title":"Default Title","offer_id":52225501397334,"sku":"9780367296872","price":207.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367296872.jpg?v=1767739158"},{"product_id":"trustworthy-global-computing-springer-international-publishing-ag-9783319287652-10th-international-symposium-tgc-2015-madrid-spain-august-31-september-1-2015-revised-selected-papers-pierre-ganty","title":"Trustworthy Global Computing","description":"\u003cp\u003eDiscover the essential insights of contemporary computing in \"Trustworthy Global Computing\" by Pierre Ganty, published by Springer International Publishing AG in 2016. This 1st edition features 163 pages of thoroughly refereed post-conference proceedings from the 10th International Symposium on Trustworthy Global Computing, TGC 2015, which took place in Madrid, Spain. \u003c\/p\u003e \u003cp\u003eDelve into the latest advancements and discussions surrounding global computing trustworthiness, enriched by contributions from leading experts in the field. This book is a vital resource for researchers, practitioners, and policymakers alike, offering a comprehensive look at the challenges and solutions in ensuring secure and reliable computing across the globe. Dive into this thought-provoking work and elevate your understanding of trustworthy computing today!\u003c\/p\u003e","brand":"Pierre Ganty","offers":[{"title":"Default Title","offer_id":52225797194070,"sku":"9783319287652","price":43.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319287652.jpg?v=1767739434"},{"product_id":"trust-and-trustworthy-computing-springer-international-publishing-ag-9783319228457-8th-international-conference-trust-2015-heraklion-greece-august-24-26-2015-proceedings-mauro-conti","title":"Trust and Trustworthy Computing","description":"\u003cp\u003eDelve into the intricacies of security and reliability with \"Trust and Trustworthy Computing,\" authored by Mauro Conti and published by Springer International Publishing AG in 2015. This first edition, spanning 328 pages, presents the refereed proceedings of the 8th International Conference on Trust and Trustworthy Computing, held in the picturesque Heraklion, Crete, Greece. \u003c\/p\u003e \n\n\u003cp\u003eThis insightful volume features 15 full papers and 3 short papers that were meticulously reviewed and selected from 42 submissions, showcasing cutting-edge research and developments in the field. Ideal for researchers, practitioners, and anyone interested in the evolving landscape of trustworthy computing, this book presents valuable perspectives on the challenges and solutions surrounding trust in technology. Enhance your understanding of trusted computing and its significance in our digital age with this essential read.\u003c\/p\u003e","brand":"Mauro Conti","offers":[{"title":"Default Title","offer_id":52225804075350,"sku":"9783319228457","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319228457.jpg?v=1767739445"},{"product_id":"transactions-on-foundations-for-mastering-change-i-springer-international-publishing-ag-9783319465074-bernhard-steffen","title":"Transactions on Foundations for Mastering Change I","description":"\u003cp\u003e\u003cstrong\u003eTransactions on Foundations for Mastering Change I\u003c\/strong\u003e by Bernhard Steffen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 257 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, development, Computer software, verification.\u003c\/p\u003e","brand":"Bernhard Steffen","offers":[{"title":"Default Title","offer_id":52226223931734,"sku":"9783319465074","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319465074.jpg?v=1767739813"},{"product_id":"theory-and-applications-of-satisfiability-testing-sat-2015-springer-international-publishing-ag-9783319243177-18th-international-conference-austin-tx-usa-september-24-27-2015-proceedings-marijn-heule","title":"Theory and Applications of Satisfiability Testing -- SAT 2015","description":"\u003cp\u003e\u003cstrong\u003eTheory and Applications of Satisfiability Testing -- SAT 2015\u003c\/strong\u003e by Marijn Heule, Sean Weaver.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2015), Paperback, 436 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer algorithms, Computer software, verification.\u003c\/p\u003e","brand":"Marijn Heule","offers":[{"title":"Default Title","offer_id":52226764308822,"sku":"9783319243177","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319243177.jpg?v=1767740608"},{"product_id":"tests-and-proofs-springer-international-publishing-ag-9783319411347-10th-international-conference-tap-2016-held-as-part-of-staf-2016-vienna-austria-july-5-7-2016-proceedings-bernhard-k-aichernig","title":"Tests and Proofs","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Tests and Proofs,\" authored by Bernhard K. Aichernig and published by Springer International Publishing AG in 2016. This paperback edition spans 199 pages and presents the refereed proceedings of the 10th International Conference on Tests and Proofs (TAP 2016), which took place in the beautiful city of Vienna, Austria, as part of the STAF 2016 event.\u003c\/p\u003e \n\n\u003cp\u003eFeaturing a selection of 8 full papers, 2 short papers, and a tool demonstration paper, this volume showcases rigorous research that was meticulously reviewed, making it a significant contribution to the fields of software testing and formal proofs. Ideal for academics and practitioners alike, \"Tests and Proofs\" offers valuable perspectives and advancements in the domain, perfect for anyone looking to deepen their understanding of the latest methodologies and improvements in testing and verification.\u003c\/p\u003e","brand":"Bernhard K. Aichernig","offers":[{"title":"Default Title","offer_id":52226901934422,"sku":"9783319411347","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319411347.jpg?v=1767740828"},{"product_id":"runtime-verification-springer-international-publishing-ag-9783319675305-17th-international-conference-rv-2017-seattle-wa-usa-september-13-16-2017-proceedings-shuvendu-lahiri","title":"Runtime Verification","description":"\u003cp\u003e\u003cstrong\u003eRuntime Verification\u003c\/strong\u003e by Shuvendu Lahiri, Giles Reger.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2017), Paperback, 432 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, verification, Computer software, testing.\u003c\/p\u003e","brand":"Shuvendu Lahiri","offers":[{"title":"Default Title","offer_id":52229874680150,"sku":"9783319675305","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319675305.jpg?v=1767745763"},{"product_id":"runtime-verification-springer-international-publishing-ag-9783319238197-6th-international-conference-rv-2015-vienna-austria-september-22-25-2015-proceedings-ezio-bartocci","title":"Runtime Verification","description":"\u003cp\u003eExplore the cutting-edge world of formal methods with \"Runtime Verification\" by Ezio Bartocci, published by Springer International Publishing AG in 2015. This comprehensive volume features 15 revised full papers, 4 short papers, 2 tool papers, 4 tutorials, and 3 invited talks, all meticulously selected from 45 submissions. Spanning 432 pages, this book delves into the evolving discussions of runtime verification, focusing on its critical role in enhancing software and system reliability. Ideal for researchers and professionals interested in formal methods, verification techniques, and the latest conference insights, \"Runtime Verification\" is a must-have addition to your technical library. Uncover the methodologies that drive advancements in this vital field and discover practical applications that impact the future of technology.\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52229874843990,"sku":"9783319238197","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319238197.jpg?v=1767745766"},{"product_id":"runtime-verification-springer-international-publishing-ag-9783319469812-16th-international-conference-rv-2016-madrid-spain-september-23-30-2016-proceedings-ylies-falcone","title":"Runtime Verification","description":"\u003cp\u003eDelve into the critical world of software verification with \"Runtime Verification\" by Ylies Falcone, published by Springer International Publishing AG in 2016. This comprehensive paperback edition spans an impressive 512 pages and serves as an invaluable resource for understanding the intricacies of hardware and software monitoring. The book features 18 meticulously revised full papers, along with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, all of which have been rigorously selected from a total of 72 submissions. \"Runtime Verification\" encapsulates the pivotal discussions from the RV conference, presenting cutting-edge insights into the analysis of system executions. Whether you're a seasoned professional or a newcomer to the field, this book offers essential knowledge to enhance your understanding of verification in computer software. Don't miss the opportunity to expand your expertise with this essential read!\u003c\/p\u003e","brand":"Ylies Falcone","offers":[{"title":"Default Title","offer_id":52229875794262,"sku":"9783319469812","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319469812.jpg?v=1767745765"},{"product_id":"runtime-verification-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642356315-third-international-conference-rv-2012-istanbul-turkey-september-25-28-2012-revised-selected-papers-turkey-rv-conference-3rd-2012-istanbul","title":"Runtime Verification","description":"\u003cp\u003e\u003cstrong\u003eRuntime Verification\u003c\/strong\u003e by Turkey) RV (Conference) (3rd 2012 Istanbul.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2013), Paperback, 322 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, Congresses, Verification, Formal methods (Computer science).\u003c\/p\u003e","brand":"Turkey) RV (Conference) (3rd 2012 Istanbul","offers":[{"title":"Default Title","offer_id":52229875990870,"sku":"9783642356315","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642356315.jpg?v=1767745766"},{"product_id":"reconfigurable-system-design-and-verification-taylor-francis-inc-9781420062663-pao-ann-hsiung","title":"Reconfigurable System Design and Verification","description":"\u003cp\u003eExplore the intricate world of system-level design with \"Reconfigurable System Design and Verification\" by Pao-Ann Hsiung. Published by Taylor \u0026amp; Francis Inc in 2009, this comprehensive hardback spans 288 pages dedicated to advanced computer engineering concepts. \u003c\/p\u003e \n\n\u003cp\u003eThis authoritative text delves into essential techniques for designing and verifying reconfigurable systems, providing readers with an insightful overview of reconfigurable computing architectures and platforms. From hardware to software and system methodologies, Hsiung expertly illustrates the processes involved in developing cutting-edge reconfigurable systems. \u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, researcher, or professional in computer systems verification, this book serves as an invaluable resource, equipping you with the knowledge to navigate the evolving landscape of embedded computer systems and enhance your engineering expertise. Order your copy today to elevate your understanding of this crucial field!\u003c\/p\u003e","brand":"Pao-Ann Hsiung","offers":[{"title":"Default Title","offer_id":52230933184854,"sku":"9781420062663","price":164.69,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781420062663.jpg?v=1767747362"},{"product_id":"reactive-systems-cambridge-university-press-9780521875462-modelling-specification-and-verification-luca-aceto","title":"Reactive Systems","description":"\u003cp\u003eExplore the fascinating world of software specification and verification with \u003cstrong\u003eReactive Systems\u003c\/strong\u003e by \u003cstrong\u003eLuca Aceto\u003c\/strong\u003e. Published by Cambridge University Press in 2007, this hardcover edition spans 302 pages and serves as a comprehensive resource for graduate students and professionals alike. \u003c\/p\u003e \u003cp\u003eDelve into the process algebraic approach that combines mathematical logic with practical applications in software engineering. This engaging text not only introduces various methodologies but also critically evaluates their strengths and weaknesses, guiding readers on when to deploy each approach effectively. Whether you're involved in programming, software development, or system theory, this book is an invaluable addition to your library. Enhance your understanding of reactive systems and elevate your software engineering skills with this essential guide.\u003c\/p\u003e","brand":"Luca Aceto","offers":[{"title":"Default Title","offer_id":52230981976406,"sku":"9780521875462","price":102.85,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521875462.jpg?v=1767747436"},{"product_id":"program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","title":"Program Logics for Certified Compilers","description":"\u003cp\u003eDiscover the intricate world of compiler design with \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2014, this comprehensive hardback spans 472 pages and is an essential resource for graduate students delving into the realms of practical and theoretical separation logic.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides an in-depth exploration of verification techniques in Hoare and separation logics, complemented by insightful case studies and the innovative Verifiable C program logic. On the theoretical front, Appel delves into complex topics such as separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C, equipping readers with the knowledge to navigate advanced concepts in logic programming.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student or a professional in the field, \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e is a pivotal addition to your library, enhancing your understanding of compiler verification and logic.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52231643464022,"sku":"9781107048010","price":101.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107048010.jpg?v=1767748605"},{"product_id":"practical-design-verification-cambridge-university-press-9780521859721","title":"Practical Design Verification","description":"\u003cp\u003eUnlock the secrets to enhancing design efficiency and cutting costs with \u003cstrong\u003ePractical Design Verification\u003c\/strong\u003e, a comprehensive guide published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2009. This hardback edition spans \u003cstrong\u003e288 pages\u003c\/strong\u003e and offers invaluable insights into both formal and simulation-based functional verification techniques. Authored by industry experts, this book equips you with a solid theoretical and practical understanding of critical verification issues.\u003c\/p\u003e \u003cp\u003eDelve into essential topics such as hardware verification languages (HVLs) and system-level debugging, ensuring you are well-prepared to tackle real-world challenges. Whether you are a seasoned professional or just starting in the field, \u003cstrong\u003ePractical Design Verification\u003c\/strong\u003e serves as an indispensable resource for improving your design processes and achieving optimal results. Don't miss out on this essential addition to your technical library!\u003c\/p\u003e","brand":"Dhiraj K. (University of Bristol) Pradhan","offers":[{"title":"Default Title","offer_id":52231994048854,"sku":"9780521859721","price":141.65,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521859721.jpg?v=1767749214"},{"product_id":"politics-of-weapons-inspections-stanford-university-press-9781503601604-assessing-wmd-monitoring-and-verification-regimes-nathan-e-busch","title":"The Politics of Weapons Inspections","description":"\u003cp\u003e\u003cstrong\u003ePolitics of Weapons Inspections\u003c\/strong\u003e by Nathan E. Busch.\u003c\/p\u003e\n\u003cp\u003ePublished by Stanford Security Studies, an imprint of Stanford University Press, (2017), Paperback, 277 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Nuclear arms control, Weapons of mass destruction, Chemical arms control, Verification.\u003c\/p\u003e","brand":"Nathan E. Busch","offers":[{"title":"Default Title","offer_id":52232217133398,"sku":"9781503601604","price":24.46,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781503601604_12b30045-d5b8-4196-b07c-cd7108058ad3.jpg?v=1767749616"},{"product_id":"permanent-magnet-motor-technology-taylor-francis-inc-9781420064407-design-and-applications-third-edition-jacek-f-gieras","title":"Permanent Magnet Motor Technology","description":"\u003cp\u003eDiscover the intricacies of permanent magnet motor technology with the insightful book \u003cstrong\u003ePermanent Magnet Motor Technology\u003c\/strong\u003e by \u003cstrong\u003eJacek F. Gieras\u003c\/strong\u003e. Published by Taylor \u0026amp; Francis Inc in 2009, this comprehensive third edition spans 630 pages and serves as an essential resource for engineers and electronics enthusiasts alike.\u003c\/p\u003e \n\n\u003cp\u003eThis book delves into the construction of permanent magnet (PM) motor drives, offering practical solutions to common challenges faced in the field. It is packed with fundamental equations and calculations that help evaluate system performance, efficiency, reliability, and cost. Additionally, it explores the latest advancements in computer-aided design for PM motors, making it a valuable tool for both students and professionals in electrical and electronic engineering.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of this vital technology and overcome obstacles in your projects with the expert guidance found in \u003cstrong\u003ePermanent Magnet Motor Technology\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Jacek F. Gieras","offers":[{"title":"Default Title","offer_id":52232808137046,"sku":"9781420064407","price":334.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781420064407.jpg?v=1767750645"},{"product_id":"numerical-software-verification-springer-international-publishing-ag-9783319542911-9th-international-workshop-nsv-2016-toronto-on-canada-july-17-18-2016-revised-selected-papers-sergiy-bogomolov","title":"Numerical Software Verification","description":"\u003cp\u003eExplore the cutting-edge world of software verification with \u003cstrong\u003eNumerical Software Verification\u003c\/strong\u003e by \u003cstrong\u003eSergiy Bogomolov\u003c\/strong\u003e. This insightful book is a compilation of the refereed proceedings from the 9th International Workshop on Numerical Software Verification, held in Toronto, Canada, in July 2016. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2017, this first edition spans \u003cstrong\u003e107 pages\u003c\/strong\u003e of crucial discussions and findings in the field of computer software verification. Ideal for researchers, practitioners, and students alike, this book delves into innovative methods and techniques that enhance the reliability and accuracy of numerical software. Don't miss the opportunity to deepen your understanding of this vital area in computer science.\u003c\/p\u003e","brand":"Sergiy Bogomolov","offers":[{"title":"Default Title","offer_id":52233735438678,"sku":"9783319542911","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319542911.jpg?v=1767752375"},{"product_id":"numerical-software-verification-springer-international-publishing-ag-9783319635002-10th-international-workshop-nsv-2017-heidelberg-germany-july-22-23-2017-proceedings-alessandro-abate","title":"Numerical Software Verification","description":"\u003cp\u003e\u003cstrong\u003eNumerical Software Verification\u003c\/strong\u003e by Alessandro Abate, Sylvie Boldo.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2017), Paperback, 115 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Numerical analysis, Computer software, verification.\u003c\/p\u003e","brand":"Alessandro Abate","offers":[{"title":"Default Title","offer_id":52233735766358,"sku":"9783319635002","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319635002.jpg?v=1767752376"},{"product_id":"modeling-and-verification-of-real-time-systems-iste-ltd-and-john-wiley-sons-inc-9781848210134-formalisms-and-software-tools","title":"Modeling and Verification of Real-time Systems","description":"\u003cp\u003eDiscover the essential insights into real-time systems with \"Modeling and Verification of Real-time Systems,\" authored by experts in the field and published by ISTE Ltd and John Wiley \u0026amp; Sons Inc in 2008. This comprehensive hardback edition spans 448 pages, providing a thorough exploration of mathematical models and formal verification techniques crucial for the design and analysis of real-time systems.\u003c\/p\u003e \u003cp\u003eDelve into a variety of critical topics, including model checking, probabilistic modeling, and verification, as well as programming and description languages. The book also covers validation approaches grounded in testing, making it an invaluable resource for both students and professionals seeking to enhance their understanding of real-time systems. Equip yourself with the knowledge to tackle complex challenges in this dynamic field today!\u003c\/p\u003e","brand":"France)) Navet Nicolas (Real-Time Systems at INRIA Lorraine (Nancy","offers":[{"title":"Default Title","offer_id":52235019944278,"sku":"9781848210134","price":257.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848210134.jpg?v=1767754678"},{"product_id":"model-checking-software-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642391750-20th-international-symposium-spin-2013-stony-brook-ny-usa-july-8-9-2013-proceedings-ezio-bartocci","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eEzio Bartocci\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2013. This comprehensive volume, spanning \u003cstrong\u003e377 pages\u003c\/strong\u003e, presents the refereed proceedings of the prestigious 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA. The collection features \u003cstrong\u003e18 regular papers\u003c\/strong\u003e, \u003cstrong\u003e2 tool demonstration papers\u003c\/strong\u003e, and \u003cstrong\u003e2 invited papers\u003c\/strong\u003e, all meticulously reviewed and selected from a competitive pool of 40 submissions. A must-read for professionals and researchers in the field, this book delves into the latest advancements and methodologies in model checking, providing valuable knowledge and practical tools for enhancing software reliability. Enhance your understanding of model checking with this essential resource!\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52235027874134,"sku":"9783642391750","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642391750.jpg?v=1767754692"},{"product_id":"model-checking-software-springer-international-publishing-ag-9783319234038-22nd-international-symposium-spin-2015-stellenbosch-south-africa-august-24-26-2015-proceedings-bernd-fischer","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge research in software verification with \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eBernd Fischer\u003c\/strong\u003e. This comprehensive volume is the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, which took place in Stellenbosch, South Africa, in August 2015. The book features 18 meticulously reviewed papers, including 14 regular contributions and 4 insightful tool or new idea papers, selected from a competitive pool of 27 submissions. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition spans \u003cstrong\u003e319 pages\u003c\/strong\u003e and is an essential resource for researchers and practitioners in the field of software engineering and model checking. Enhance your understanding of the latest advancements in model checking techniques and tools with this valuable addition to your library.\u003c\/p\u003e","brand":"Bernd Fischer","offers":[{"title":"Default Title","offer_id":52235027939670,"sku":"9783319234038","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319234038.jpg?v=1767754691"},{"product_id":"model-checking-software-springer-international-publishing-ag-9783319325811-23rd-international-symposium-spin-2016-co-located-with-etaps-2016-eindhoven-the-netherlands-april-7-8-2016-proceedings-dragan-bo-na-ki","title":"Model Checking Software","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eModel Checking Software\u003c\/strong\u003e by \u003cstrong\u003eDragan Bošnački\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016. This comprehensive volume, featuring 245 pages, presents the refereed proceedings of the 23rd International Symposium on Model Checking Software (SPIN 2016), which took place in Eindhoven, The Netherlands, in April 2016. Inside, you will find 16 meticulously reviewed papers, including 11 regular papers, 1 idea paper, and 4 tool demonstrations, all selected from a competitive pool of 27 submissions. Ideal for researchers and practitioners in the field, this first edition serves as a vital resource for those looking to explore the latest advancements and methodologies in model checking. Enhance your understanding of software verification and validation with this essential addition to your library.\u003c\/p\u003e","brand":"Dragan Bošnački","offers":[{"title":"Default Title","offer_id":52235028463958,"sku":"9783319325811","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319325811.jpg?v=1767754697"},{"product_id":"modeling-in-event-b-cambridge-university-press-9780521895569-system-and-software-engineering-jean-raymond-abrial","title":"Modeling in Event-B","description":"\u003cp\u003eDiscover the power of formal methods with \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e by \u003cstrong\u003eJean-Raymond Abrial\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This comprehensive hardback edition spans \u003cstrong\u003e612 pages\u003c\/strong\u003e and serves as an essential resource for both introductory and advanced courses in formal methods.\u003c\/p\u003e \n\n\u003cp\u003eDelve into a mathematical approach to modeling and designing systems through the innovative extension of the B formal method known as Event-B. The book is rich with a diverse array of examples and exercises tailored to accommodate readers of all skill levels, ensuring a thorough understanding of the concepts presented.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, educator, or professional in the field of computer science, \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e is a vital addition to your library, providing insights into mathematical models and the verification of computer systems.\u003c\/p\u003e","brand":"Jean-Raymond Abrial","offers":[{"title":"Default Title","offer_id":52235315872086,"sku":"9780521895569","price":154.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521895569.jpg?v=1767755237"},{"product_id":"listening-for-the-bomb-taylor-francis-ltd-9780367012649-a-study-in-nuclear-arms-control-verification-policy-philip-g-schrag","title":"Listening For The Bomb","description":"\u003cp\u003eThis book applies the Allisonian framework to the response of the United States government to a private arms control initiative undertaken in 1986 by the Natural Resources Defense Council, an environmental organization.\u003c\/p\u003e","brand":"Philip G. Schrag","offers":[{"title":"Default Title","offer_id":52236543099222,"sku":"9780367012649","price":116.18,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367012649.jpg?v=1767757353"},{"product_id":"libya-and-nuclear-proliferation-taylor-francis-ltd-9781138452121-stepping-back-from-the-brink-wyn-q-bowen","title":"Libya and Nuclear Proliferation","description":"\u003cp\u003eAnalyses the decision to give up the quest for nuclear weapons, focusing on the main factors that influenced the Gadhafi regime's calculations. This work explores the process of dismantling the nuclear programme and the question of whether Libya constitutes a 'model' for addressing the challenges posed by other proliferators.\u003c\/p\u003e","brand":"Wyn Q. Bowen","offers":[{"title":"Default Title","offer_id":52236685214038,"sku":"9781138452121","price":219.25,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138452121.jpg?v=1767757594"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-foundational-techniques-springer-international-publishing-ag-9783319471655-7th-international-symposium-isola-2016-imperial-corfu-greece-october-10-14-2016-proceedings-part-i-tiziana-mar","title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","description":"\u003cp\u003e\u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u003c\/strong\u003e by Tiziana Margaria, Bernhard Steffen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 974 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Robots, programming, Machine learning, Computer software.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52236735381846,"sku":"9783319471655","price":110.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319471655.jpg?v=1767757651"},{"product_id":"libya-and-nuclear-proliferation-taylor-francis-ltd-9780415412384-stepping-back-from-the-brink-wyn-q-bowen","title":"Libya and Nuclear Proliferation","description":"\u003cp\u003eThis Adelphi Paper examines the motives behind Libya’s pursuit of a nuclear weapons capability, from Gadhafi’s rise to power in 1969 through to the end of 2003, assessing the proliferation pathways that the regime followed during these years.\u003c\/p\u003e","brand":"Wyn Q. Bowen","offers":[{"title":"Default Title","offer_id":52237109002582,"sku":"9780415412384","price":34.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780415412384.jpg?v=1767758212"},{"product_id":"iraq-taylor-francis-inc-9780765802071-threat-and-response","title":"Iraq","description":"\u003cp\u003eDiscover the compelling insights in \u003cstrong\u003eIraq\u003c\/strong\u003e, a thought-provoking collection of essays that delve into the complexities of the ongoing crisis in Iraq. Published by \u003cstrong\u003eTaylor \u0026amp; Francis Inc\u003c\/strong\u003e in 2003, this hardback volume spans \u003cstrong\u003e157 pages\u003c\/strong\u003e and offers a unique perspective from the \"thoughtful opposition.\" Each essay invites readers to engage with critical discussions surrounding the geopolitical and humanitarian issues affecting Iraq. Whether you are a student of international relations, a history enthusiast, or simply seeking to understand the multifaceted nature of this conflict, \u003cstrong\u003eIraq\u003c\/strong\u003e provides an essential exploration of the topic. Enhance your library with this insightful work that encourages reflection and dialogue.\u003c\/p\u003e","brand":"Gerhard Beestermoeller","offers":[{"title":"Default Title","offer_id":52238723580246,"sku":"9780765802071","price":140.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780765802071.jpg?v=1767760661"},{"product_id":"industrial-use-of-formal-methods-iste-ltd-and-john-wiley-sons-inc-9781848213630-formal-verification-jean-louis-boulanger","title":"Industrial Use of Formal Methods","description":"\u003cp\u003eDiscover the transformative power of formal methods in the industrial sector with \u003cstrong\u003eIndustrial Use of Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eJean-Louis Boulanger\u003c\/strong\u003e. Published in 2012 by ISTE Ltd and John Wiley \u0026amp; Sons Inc, this comprehensive hardback edition spans 314 pages and serves as an essential resource for students and researchers alike.\u003c\/p\u003e \n\n\u003cp\u003eThis insightful book consolidates valuable experiences and practical applications of formal techniques, such as proof and model-checking, specifically within the transportation domain. By bridging the gap between theory and practice, Boulanger provides readers with a deep understanding of how these methodologies can enhance computer simulation, software development, and data processing in real-world industrial settings.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student eager to learn or a professional seeking to implement formal methods in your projects, this book is a must-have addition to your library. Embrace the future of technology and engineering with \u003cstrong\u003eIndustrial Use of Formal Methods\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Jean-Louis Boulanger","offers":[{"title":"Default Title","offer_id":52238912618838,"sku":"9781848213630","price":169.48,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848213630.jpg?v=1767760877"},{"product_id":"hardware-and-software-verification-and-testing-springer-international-publishing-ag-9783319262864-11th-international-haifa-verification-conference-hvc-2015-haifa-israel-november-17-19-2015-proceedings-nir-piterman","title":"Hardware and Software: Verification and Testing","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Hardware and Software: Verification and Testing,\" authored by Nir Piterman and published by Springer International Publishing AG in 2015. This essential volume compiles the refereed proceedings of the 11th International Haifa Verification Conference (HVC 2015), held in Haifa, Israel. Within its 293 pages, you will find 17 meticulously revised full papers and 4 invited talks, all selected through a rigorous review process from a multitude of submissions. This first edition is a must-have for professionals and researchers interested in the latest advancements in verification and testing methodologies. Enhance your understanding of hardware and software verification with this comprehensive resource.\u003c\/p\u003e","brand":"Nir Piterman","offers":[{"title":"Default Title","offer_id":52240779477334,"sku":"9783319262864","price":49.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319262864.jpg?v=1767763352"},{"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":55.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":"hardware-and-software-verification-and-testing-springer-international-publishing-ag-9783319133379-10th-international-haifa-verification-conference-hvc-2014-haifa-israel-november-18-20-2014-proceedings-eran-yahav","title":"Hardware and Software: Verification and Testing","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Hardware and Software: Verification and Testing,\" authored by Eran Yahav and published by Springer International Publishing AG in 2014. This essential volume compiles the refereed proceedings of the 10th International Haifa Verification Conference (HVC 2014), held in Haifa, Israel. Spanning 302 pages, the book delves into a diverse array of topics within the realms of testing and verification, focusing on software, hardware, and complex hybrid systems. With contributions from leading experts in the field, this book is an invaluable resource for researchers, practitioners, and students interested in the latest advancements in verification methodologies. Enhance your understanding of critical concepts and explore innovative solutions in verification and testing with this comprehensive guide. Perfect for anyone looking to deepen their knowledge in computer programs and input-output equipment, this paperback edition is a must-have for your collection.\u003c\/p\u003e","brand":"Eran Yahav","offers":[{"title":"Default Title","offer_id":52240782721366,"sku":"9783319133379","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319133379.jpg?v=1767763355"},{"product_id":"explore-it-the-pragmatic-programmers-9781937785024-elisabeth-hendrickson","title":"Explore It!","description":"\u003cp\u003e\u003cstrong\u003eExplore It!\u003c\/strong\u003e by Elisabeth Hendrickson.\u003c\/p\u003e\n\u003cp\u003ePublished by The Pragmatic Programmers, (2013), Paperback, 160 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Validation, Testing, Verification, Computer software.\u003c\/p\u003e","brand":"Elisabeth Hendrickson","offers":[{"title":"Default Title","offer_id":52244065452374,"sku":"9781937785024","price":27.88,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781937785024_9eb9e2bc-00d4-4598-aa6f-5bd8ab183073.jpg?v=1767767544"},{"product_id":"eda-for-ic-system-design-verification-and-testing-taylor-francis-inc-9780849379239","title":"EDA for IC System Design, Verification, and Testing","description":"\u003cp\u003eDiscover the essential resource for integrated circuit design with \"EDA for IC System Design, Verification, and Testing\" by Taylor \u0026amp; Francis Inc. This comprehensive handbook, published in 2006, spans 544 pages and delves into the crucial design automation algorithms, tools, and methodologies that are pivotal for the effective design of integrated circuits. Ideal for engineers and professionals in the field, this hardback edition serves as a valuable reference for both design and verification processes. Enhance your understanding of electronic design automation and elevate your projects with this indispensable guide.\u003c\/p\u003e","brand":"Louis (Cadence Design Systems, San Jose, California, USA) Scheffer","offers":[{"title":"Default Title","offer_id":52246193635670,"sku":"9780849379239","price":207.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780849379239.jpg?v=1767770899"},{"product_id":"data-refinement-cambridge-university-press-9780521103503-model-oriented-proof-methods-and-their-comparison-w-p-de-roever","title":"Data Refinement","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eData Refinement\u003c\/strong\u003e by W.-P. de Roever, published by Cambridge University Press in 2008. This comprehensive graduate text spans 436 pages and delves into the critical formal methods in computer science. Ideal for students and professionals alike, this book explores topics such as computer programs, computer simulation, and data structures, providing a solid foundation for understanding the verification processes in computing. Whether you are looking to deepen your knowledge or enhance your skills in the field, \u003cstrong\u003eData Refinement\u003c\/strong\u003e serves as an invaluable resource. Elevate your expertise in formal methods with this authoritative guide from one of the leading voices in computer science.\u003c\/p\u003e","brand":"W.-P. de Roever","offers":[{"title":"Default Title","offer_id":52247684448598,"sku":"9780521103503","price":66.47,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521103503.jpg?v=1767773250"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319216676-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-ii-daniel-kroening","title":"Computer Aided Verification","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by \u003cstrong\u003eDaniel Kroening\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This first edition, spanning 469 pages, presents the refereed proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015) held in San Francisco, CA. This comprehensive two-volume set, consisting of LNCS 9206 and LNCS 9207, showcases a total of 58 full papers and 11 short papers, all meticulously reviewed and selected from an impressive 252 submissions. Perfect for researchers and practitioners in the field, this collection offers valuable perspectives and advancements in computer-aided verification techniques. Enhance your understanding of this critical area of computer science with this essential resource.\u003c\/p\u003e","brand":"Daniel Kroening","offers":[{"title":"Default Title","offer_id":52248074027350,"sku":"9783319216676","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319216676.jpg?v=1767773885"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319633862-29th-international-conference-cav-2017-heidelberg-germany-july-24-28-2017-proceedings-part-i-rupak-majumdar","title":"Computer Aided Verification","description":"\u003cp\u003e\u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by Rupak Majumdar, Viktor Kunčak.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2017), Paperback, 601 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, verification.\u003c\/p\u003e","brand":"Rupak Majumdar","offers":[{"title":"Default Title","offer_id":52248075829590,"sku":"9783319633862","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319633862.jpg?v=1767773887"},{"product_id":"computer-aided-verification-springer-international-publishing-ag-9783319633893-29th-international-conference-cav-2017-heidelberg-germany-july-24-28-2017-proceedings-part-ii-rupak-majumdar","title":"Computer Aided Verification","description":"\u003cp\u003e\u003cstrong\u003eComputer Aided Verification\u003c\/strong\u003e by Rupak Majumdar, Viktor Kunčak.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2017), Paperback, 623 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Computer software, verification.\u003c\/p\u003e","brand":"Rupak Majumdar","offers":[{"title":"Default Title","offer_id":52248075862358,"sku":"9783319633893","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319633893.jpg?v=1767773886"}],"url":"https:\/\/www.englishbook.fi\/collections\/tikrinimas.oembed","provider":"Bookshop","version":"1.0","type":"link"}