Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings
Editat de Andrea Kohlhase et al.
13 sep 2024
Paperback
Preț: 444.90 lei 556.12 lei
38-44 zile
-20%
Laura Kovács
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 302.51 lei 378.13 lei
6-8 săpt.
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 366.64 lei
6-8 săpt.
Automated Reasoning
Editat de Jasmin Blanchette et al.
17 iul 2022
Paperback
Preț: 318.88 lei 398.60 lei
6-8 săpt.
-20%