Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
Autor André Platzer
28 noi 2014
Paperback
Preț: 628.15 lei 785.18 lei
6-8 săpt.
-20%
Cărți de André Platzer
Logical Foundations of Cyber-Physical Systems
Autor André Platzer
11 aug 2018
Hardback
Preț: 343.99 lei 429.98 lei
6-8 săpt.
-20%