Damien Zufferey

Damien Zufferey

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 11990

Editat de Dirk Beyer et al.

7 feb 2020

Preț: 531^.93 lei 664^.91 lei

6-8 săpt.

-20%

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11652

Editat de Majid Zamani et al.

3 aug 2019

Preț: 320^.49 lei 400^.62 lei

6-8 săpt.

-20%