Damien Zufferey – författare
Visar alla böcker från författaren .
2 produkter
2 produkter
Del 11652 - Lecture Notes in Computer Science
Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 11990 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Häftad, Engelska, 2020
1 159 kr
Skickas inom 10-15 vardagar