Filtre: Paperback

Cărți de Akash Lal

Verified Software. Theories, Tools and Experiments.

Lecture Notes in Computer Science, nr. 13800

Editat de Akash Lal et al.

2 feb 2023

Preț: 328^.65 lei 410^.81 lei

43-57 zile

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 13964

Editat de Constantin Enea et al.

17 iul 2023

Preț: 318^.19 lei 397^.74 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 345^.05 lei 431^.32 lei

43-57 zile

-20%