Hoppa till sidans huvudinnehåll

André Platzer - Böcker

Visar alla böcker från författaren André Platzer.
8 produkter

Logical Foundations of Cyber-Physical Systems

Av André Platzer, Andre Platzer m. fl

Häftad, Engelska, 2019

809 kr

Skickas inom 10-15 vardagar

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Av André Platzer, Geoff Sutcliffe m. fl

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

669 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

2 409 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

669 kr

Skickas inom 10-15 vardagar

Logical Foundations of Cyber-Physical Systems

Av André Platzer, Andre Platzer m. fl

Inbunden, Engelska, 2018

809 kr

Skickas inom 10-15 vardagar

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Av André Platzer, Andre Platzer m. fl

Inbunden, Engelska, 2010

1 389 kr

Skickas inom 10-15 vardagar

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Av André Platzer, André

Häftad, Engelska, 2014

1 389 kr

Skickas inom 10-15 vardagar