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,André

Häftad, Engelska, 2019

689 kr

Skickas inom 10-15 vardagar

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,Andre Platzer,Geoff Platzer, André

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

AvAndré Platzer,Kristin Yvonne Rozier,Matteo Pradella,Matteo Rossi,Andre Platzer,Kristin Yvonne Platzer, André

Häftad, Engelska, 2024

579 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,Matteo Pradella,Matteo Rossi

Häftad, Engelska, 2024

2 109 kr

Skickas inom 10-15 vardagar

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é Platzer,Heike Wehrheim,Andre Platzer,Heike Platzer, André

Häftad, Engelska, 2015

659 kr

Skickas inom 10-15 vardagar

Logical Foundations of Cyber-Physical Systems

AvAndré Platzer,Andre Platzer,André

Inbunden, Engelska, 2018

689 kr

Skickas inom 10-15 vardagar

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

AvAndré Platzer,Andre Platzer,Andr Platzer

Inbunden, Engelska, 2010

1 389 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