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

6-8 săpt.

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 13965

Editat de Constantin Enea et al.

18 iul 2023

Preț: 316^.07 lei 395^.09 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Deepak D'Souza et al.

7 ian 2015

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

6-8 săpt.

-20%