Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 835.65 lei 1044.57 lei
38-44 zile
-20%
Laura Kovács
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%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 300.27 lei 375.34 lei
43-57 zile
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 366.64 lei
43-57 zile
Automated Reasoning
Editat de Jasmin Blanchette et al.
17 iul 2022
Paperback
Preț: 318.88 lei 398.60 lei
43-57 zile
-20%