André Platzer – författare
Visar alla böcker från författaren André Platzer. Handla med fri frakt och snabb leverans.
11 produkter
Logical Foundations of Cyber-Physical Systems
Häftad, 2019
605 kr
Lägg i varukorg
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete …
Automated Deduction – CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Av André Platzer, Geoff Sutcliffe
Häftad, 2021
455 kr
Lägg i varukorg
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Av André Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
455 kr
Lägg i varukorg
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected …
Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Av Andre Platzer, Kristin Yvonne Rozier m. fl.
Häftad, 2024
1688 kr
Lägg i varukorg
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected …
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Av Roland Meyer, André Platzer m. fl.
Häftad, 2015
529 kr
Lägg i varukorg
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. …
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Av Heike Wehrheim, Andre Platzer m. fl.
E-bok, 2015
638 kr
Lägg i varukorg
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog''s contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog''s …
Logical Foundations of Cyber-Physical Systems
Inbunden, 2018
605 kr
Lägg i varukorg
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete …
Logical Foundations of Cyber-Physical Systems
E-bok, 2018
815 kr
Lägg i varukorg
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete …
Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics
Inbunden, 2010
1095 kr
Lägg i varukorg
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems …
Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics
E-bok, 2010
1459 kr
Lägg i varukorg
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems …
Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics
Häftad, 2014
1095 kr
Lägg i varukorg
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems …
