Buy Used and New André Platzer Books

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

by André Platzer

ISBN 13: 9783642145087

Format: Hardcover (426 pages)
Publisher: Springer
Published: 05 Sep 2010

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