Cărți de André Platzer

Formal Methods

Editat de André Platzer et al.

11 sep 2024

Preț: 316^.94 lei 396^.17 lei

38-44 zile

-20%

Correct System Design

Lecture Notes in Computer Science, nr. 9360

Editat de Roland Meyer et al.

3 sep 2015

Preț: 321^.74 lei 402^.18 lei

43-57 zile

-20%

Logical Foundations of Cyber-Physical Systems

Autor André Platzer

11 aug 2018

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

43-57 zile

-20%

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Autor André Platzer

28 noi 2014

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

43-57 zile

-20%