Filtre:

Cărți de Arie Gurfinkel

Computer Aided Verification

Lecture Notes in Computer Science, nr. 14682

Editat de Arie Gurfinkel et al.

25 iul 2024

Preț: 302^.72 lei 378^.40 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science, nr. 15698

Editat de Arie Gurfinkel et al.

mai 2025

Preț: 274^.29 lei 342^.87 lei

39-44 zile

-20%

Verified Software: Theories, Tools, and Experiments

Lecture Notes in Computer Science, nr. 9593

Editat de Arie Gurfinkel et al.

29 ian 2016

Preț: 318^.89 lei 398^.61 lei

6-8 săpt.

-20%