Ruzica Piskac

Ruzica Piskac

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ț: 348^.39 lei 435^.49 lei

6-8 săpt.

-20%

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ț: 335^.69 lei 419^.61 lei

6-8 săpt.

-20%