Ruzica Piskac

Filtre: Paperback

Ruzica Piskac

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11294

Editat de Ruzica Piskac et al.

24 noi 2018

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Computer Aided Verification

Lecture Notes in Computer Science

Editat de Ruzica Piskac et al.

23 iul 2025

Preț: 290^.35 lei 362^.95 lei

39-44 zile

-20%