Buy Used and New André Platzer Books

Logical Foundations of Cyber-Physical Systems

by André Platzer

ISBN 13: 9783319635873

Format: Hardcover (670 pages)
Publisher: Springer
Published: 18 Sep 2018

Save for later

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: 9360 (Lecture Notes in Computer Science)

by Roland Meyer, André Platzer, Heike Wehrheim

ISBN 13: 9783319235059

Format: Paperback (292 pages)
Publisher: Springer
Published: 06 Oct 2015

Save for later

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

by André Platzer

ISBN 13: 9783642444746

Format: Paperback (456 pages)
Publisher: Springer
Published: 28 Nov 2014

Save for later

Logical Foundations of Cyber-Physical Systems

by André Platzer

ISBN 13: 9783030096977

Format: Paperback (670 pages)
Publisher: Springer
Published: 08 Feb 2019

Save for later

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 (Lecture Notes in Computer Science, 12699)

by André Platzer, Geoff Sutcliffe

ISBN 13: 9783030798758

Format: Paperback (666 pages)
Publisher: Springer
Published: 30 Sep 2021

Save for later