Cărți de André Platzer

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

Lecture Notes in Computer Science, nr. 12699

Editat de André Platzer et al.

8 iul 2021

Preț: 322^.08 lei 402^.59 lei

43-57 zile

-20%

Logical Foundations of Cyber-Physical Systems

Autor André Platzer

11 aug 2018

Preț: 357^.63 lei 447^.04 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 9360

Editat de Roland Meyer et al.

3 sep 2015

Preț: 332^.24 lei 415^.30 lei

43-57 zile

-20%

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Autor André Platzer

28 noi 2014

Preț: 653^.38 lei 816^.73 lei

43-57 zile

-20%