Hoppa till sidans huvudinnehåll

André Platzer – författare

Visar alla böcker från författaren .
8 produkter
André Platzer - Logical Foundations of Cyber-Physical Systems, Häftad

Logical Foundations of Cyber-Physical Systems

AvAndré Platzer

Häftad, Engelska, 2019

769 kr

Skickas inom 10-15 vardagar

André Platzer, Geoff Sutcliffe - Automated Deduction – CADE 28, Häftad
Del 12699 - Lecture Notes in Computer Science

Automated Deduction – CADE 28

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

AvAndré Platzer,Geoff Sutcliffe

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

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

AvAndré Platzer,Kristin Yvonne Rozierm. fl.

Häftad, Engelska, 2024

579 kr

Skickas inom 10-15 vardagar

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

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

AvAndre Platzer,Kristin Yvonne Rozierm. fl.

Häftad, Engelska, 2024

2 149 kr

Skickas inom 10-15 vardagar

Roland Meyer, André Platzer, Heike Wehrheim - Correct System Design, Häftad
Del 9360 - Lecture Notes in Computer Science

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é Platzerm. fl.

Häftad, Engelska, 2015

679 kr

Skickas inom 10-15 vardagar

André Platzer - Logical Foundations of Cyber-Physical Systems, Inbunden

Logical Foundations of Cyber-Physical Systems

AvAndré Platzer

Inbunden, Engelska, 2018

769 kr

Skickas inom 10-15 vardagar

André Platzer - Logical Analysis of Hybrid Systems, Inbunden

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

AvAndré Platzer

Inbunden, Engelska, 2010

1 399 kr

Skickas inom 10-15 vardagar

André Platzer - Logical Analysis of Hybrid Systems, Häftad

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

AvAndré Platzer

Häftad, Engelska, 2014

1 399 kr

Skickas inom 10-15 vardagar