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ț: 345^.11 lei 431^.39 lei

6-8 săpt.

-20%

Handbook of Model Checking

Editat de Roderick Bloem et al.

8 iun 2018

Preț: 1011^.51 lei 1264^.39 lei

17-23 zile | 7-11 zile

-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%

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%

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%