Search result

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 Paperback / Softback Fr. 55.90 Will be released 09.10.2025