Cărți de Arie Gurfinkel

Computer Aided Verification

Lecture Notes in Computer Science, nr. 14683

Editat de Arie Gurfinkel et al.

26 iul 2024

Preț: 310^.50 lei 388^.12 lei

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science

Editat de Arie Gurfinkel et al.

mai 2025

Preț: 273^.97 lei 342^.46 lei

38-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

43-57 zile

-20%