Damien Zufferey - Böcker

Visar alla böcker från författaren Damien Zufferey.

2 produkter

Kategorier

2 produkter

Numerical Software Verification

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

Av Majid Zamani, Damien Zufferey

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Av Dirk Beyer, Damien Zufferey m. fl

Häftad, Engelska, 2020

1 169 kr

Skickas inom 10-15 vardagar