Filtre: Springer International Publishing AG

Cărți de Roderick Bloem

Software Verification

Lecture Notes in Computer Science, nr. 13124

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 358^.90 lei 448^.62 lei

6-8 săpt.

-20%

Decidability of Parameterized Verification

Synthesis Lectures on Distributed Computing Theory

Autor Roderick Bloem et al.

29 sep 2015

Preț: 290^.62 lei 363^.27 lei

6-8 săpt.

-20%

Trusted Systems

Lecture Notes in Computer Science, nr. 8292

Editat de Roderick Bloem et al.

11 noi 2013

Preț: 312^.73 lei 390^.91 lei

6-8 săpt.

-20%