Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Autor André Platzer
28 noi 2014
Paperback
Preț: 628.15 lei 785.18 lei
43-57 zile
-20%
Cărți de André Platzer
Logical Foundations of Cyber-Physical Systems
Autor André Platzer
8 feb 2019
Paperback
Preț: 337.48 lei 421.86 lei
43-57 zile
-20%