{"title":"André Platzer","description":null,"products":[{"product_id":"logical-foundations-of-cyber-physical-systems-springer-nature-switzerland-ag-9783030096977-andr-platzer","title":"Logical Foundations of Cyber-Physical Systems","description":"\u003cp\u003eExplore the intricate world of Cyber-Physical Systems (CPSs) with \u003cstrong\u003eLogical Foundations of Cyber-Physical Systems\u003c\/strong\u003e by \u003cstrong\u003eAndré Platzer\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, this comprehensive paperback spans an impressive \u003cstrong\u003e639 pages\u003c\/strong\u003e and serves as a vital resource for understanding the fusion of computational and physical processes.\u003c\/p\u003e \n\n\u003cp\u003eIn this expertly crafted text, Platzer delves into the essential elements that define CPSs, highlighting their unique capabilities that integrate computation, communication, and physical motion. This book is ideal for researchers, practitioners, and students eager to grasp the foundational concepts and applications of CPSs in today's technology-driven landscape.\u003c\/p\u003e\n\n\u003cp\u003eWhether you are new to the subject or looking to deepen your understanding, \u003cstrong\u003eLogical Foundations of Cyber-Physical Systems\u003c\/strong\u003e is an indispensable addition to your library. Don't miss the opportunity to enhance your knowledge in this rapidly evolving field!\u003c\/p\u003e","brand":"André Platzer","offers":[{"title":"Default Title","offer_id":52236358746454,"sku":"9783030096977","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030096977.jpg?v=1767757041"},{"product_id":"formal-methods-springer-international-publishing-ag-9783031711763-26th-international-symposium-fm-2024-milan-italy-september-9-13-2024-proceedings-part-ii-andr-platzer","title":"Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Formal Methods,\" authored by the esteemed André Platzer and published by Springer International Publishing AG. This comprehensive 2025 edition comprises 652 pages of rigorously reviewed content, featuring the refereed proceedings from the 26th International Symposium on Formal Methods (FM 2024) held in Milan, Italy, in September 2024. Within these pages, you'll find 51 full papers and 4 short papers, meticulously selected from an impressive 219 submissions. This book is an essential resource for researchers and practitioners seeking to deepen their understanding of formal methods in computer science. Don't miss the opportunity to explore the latest advancements in this vital field!\u003c\/p\u003e","brand":"André Platzer","offers":[{"title":"Default Title","offer_id":52264803434838,"sku":"9783031711763","price":157.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031711763.jpg?v=1767797008"},{"product_id":"automated-deduction-cade-28-springer-nature-switzerland-ag-9783030798758-28th-international-conference-on-automated-deduction-virtual-event-july-12-15-2021-proceedings-andr-platzer","title":"Automated Deduction – CADE 28","description":"\u003cp\u003eDiscover the cutting-edge research in \"Automated Deduction – CADE 28,\" authored by André Platzer and published by Springer Nature Switzerland AG in 2021. This comprehensive volume, consisting of 650 pages, compiles the proceedings of the 28th International Conference on Automated Deduction, which took place virtually in July 2021. Within its pages, you will find 29 meticulously reviewed full papers and 7 insightful system descriptions, all selected from a competitive pool of 76 submissions. Additionally, the book features 2 invited papers that provide further depth to the discussions presented. Perfect for researchers and enthusiasts in the field, this first edition serves as a valuable resource for anyone interested in the latest advancements in automated deduction. Don't miss the opportunity to explore the forefront of this dynamic area of study!\u003c\/p\u003e","brand":"André Platzer","offers":[{"title":"Default Title","offer_id":52279709663574,"sku":"9783030798758","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030798758.jpg?v=1767824089"}],"url":"https:\/\/www.englishbook.pl\/collections\/andre-platzer.oembed","provider":"Bookshop","version":"1.0","type":"link"}