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

AvAndré 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

AvAndré Platzer,Geoff Sutcliffe m. fl.

Häftad, Engelska, 2021

569 kr

Skickas inom 10-15 vardagar

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

AvAndré 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

AvAndre 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

AvRoland Meyer,André Platzer m. fl.

Häftad, Engelska, 2015

659 kr

Skickas inom 10-15 vardagar

Logical Foundations of Cyber-Physical Systems

AvAndré 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

AvAndré Platzer,Andre Platzer m. fl.

Inbunden, Engelska, 2010

1 379 kr

Skickas inom 10-15 vardagar

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

AvAndré Platzer,André

Häftad, Engelska, 2014

1 369 kr

Skickas inom 10-15 vardagar