Ruzica Piskac

Ruzica Piskac

Computer Aided Verification

Lecture Notes in Computer Science

Editat de Ruzica Piskac et al.

23 iul 2025

Preț: 290^.13 lei 362^.66 lei

38-44 zile

-20%

Verified Software. Theories, Tools, and Experiments

Lecture Notes in Computer Science, nr. 11294

Editat de Ruzica Piskac et al.

24 noi 2018

Preț: 325^.44 lei 406^.80 lei

43-57 zile

-20%

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11388

Editat de Constantin Enea et al.

11 ian 2019

Preț: 335^.11 lei 418^.89 lei

43-57 zile

-20%