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ț: 327.53 lei 409.41 lei
6-8 săpt.
-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ț: 331.08 lei 413.85 lei
6-8 săpt.
-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ț: 356.64 lei 445.81 lei
6-8 săpt.
-20%