Cărți de André Platzer

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Autor André Platzer

28 noi 2014

Preț: 628^.15 lei 785^.18 lei

6-8 săpt.

-20%

Logical Foundations of Cyber-Physical Systems

Autor André Platzer

11 aug 2018

Preț: 343^.99 lei 429^.98 lei

6-8 săpt.

-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ț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

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ț: 309^.83 lei 387^.29 lei

6-8 săpt.

-20%