Search result

Static Analysis English 05.11.2025 Paperback / Softback Fr. 103.00 6-7 weeks
NASA Formal Methods English 06.08.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Static Analysis English 01.12.2024 Paperback / Softback Fr. 103.00 6-7 weeks
Automated Deduction - CADE 30 English 11.09.2025 Paperback / Softback Sold out