Cărți de Akash Lal

Computer Aided Verification

Editat de Constantin Enea et al.

18 iul 2023

Preț: 303^.01 lei 378^.77 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science

Editat de Deepak D'Souza et al.

7 ian 2015

Preț: 330^.79 lei 413^.49 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools and Experiments.

Lecture Notes in Computer Science

Editat de Akash Lal et al.

2 feb 2023

Preț: 315^.05 lei 393^.82 lei

6-8 săpt.

-20%