Damien Zufferey - Böcker

Visar alla böcker från författaren Damien Zufferey.
2 produkter
Majid Zamani, Damien Zufferey - Numerical Software Verification, Häftad

Numerical Software Verification

Av Majid Zamani, Damien Zufferey

Häftad, Engelska, 2019

729 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk

Häftad, Engelska, 2020

1 169 kr

Skickas inom 7-10 vardagar