Filtre: Engleză

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%

Logical Analysis of Hybrid Systems

Autor André Platzer

28 noi 2014

Preț: 636^.36 lei 795^.46 lei

43-57 zile

-20%

Automated Deduction - CADE 28

Lecture Notes in Computer Science, nr. 12699

Editat de André Platzer et al.

8 iul 2021

Preț: 325^.87 lei 407^.35 lei

43-57 zile

-20%

Correct System Design

Lecture Notes in Computer Science, nr. 9360

Editat de Roland Meyer et al.

3 sep 2015

Preț: 334^.59 lei 418^.24 lei

43-57 zile

-20%

Logical Foundations of Cyber-Physical Systems

Autor André Platzer

11 aug 2018

Preț: 360^.69 lei 450^.87 lei

43-57 zile

-20%