Search result

Verification, Model Checking, and Abstract Interpretation English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Computer Aided Verification English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks