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ț: 320.94 lei 401.17 lei
43-57 zile
-20%
Cărți de Dirk Pattinson
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Editat de Dirk Pattinson et al.
2 aug 2012
Paperback
Preț: 324.42 lei 405.52 lei
43-57 zile
-20%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Editat de Martin Wirsing et al.
24 noi 2003
Paperback
Preț: 349.46 lei 436.83 lei
43-57 zile
-20%