Filtre: Springer International Publishing

Cărți de Roderick Bloem

Decidability of Parameterized Verification

Synthesis Lectures on Distributed Computing Theory

Autor Roderick Bloem et al.

29 sep 2015

Preț: 288^.44 lei 360^.55 lei

6-8 săpt.

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 8559

Editat de Armin Biere et al.

4 aug 2014

Preț: 655^.23 lei 819^.04 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing

Lecture Notes in Computer Science, nr. 10028

Editat de Roderick Bloem et al.

noi 2016

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%