Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Editat de Jasmin Blanchette et al.
17 iul 2022
Paperback
Preț: 315.07 lei 393.84 lei
6-8 săpt.
-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ț: 299.36 lei 374.19 lei
6-8 săpt.
-20%
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ț: 445.22 lei 556.53 lei
38-44 zile
-20%
Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 835.67 lei 1044.59 lei
38-44 zile
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 365.55 lei
6-8 săpt.