Recent Trends in Algebraic Development Techniques
Editat de Martin Wirsing et al.
24 noi 2003
Paperback
Preț: 329.95 lei 412.43 lei
6-8 săpt.
-20%
Cărți de Dirk Pattinson
Coalgebraic Methods in Computer Science
Editat de Dirk Pattinson et al.
2 aug 2012
Paperback
Preț: 319.52 lei 399.41 lei
6-8 săpt.
-20%
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%