Cărți de Akash Lal

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 331^.80 lei 414^.75 lei

43-57 zile

-20%

Verified Software. Theories, Tools and Experiments.

Lecture Notes in Computer Science, nr. 13800

Editat de Akash Lal et al.

2 feb 2023

Preț: 316^.03 lei 395^.04 lei

43-57 zile

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 13965

Editat de Constantin Enea et al.

18 iul 2023

Preț: 303^.94 lei 379^.93 lei

43-57 zile

-20%