Dirk Pattinson – författare

Visar alla böcker från författaren Dirk Pattinson.

3 produkter

Kategorier

3 produkter

Del 13385
Del 13385 - Lecture Notes in Computer Science
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
AvJasmin Blanchette,Laura Kovácsm. fl.
Häftad, Engelska, 2022
599 kr
Skickas inom 10-15 vardagar
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
AvMartin Wirsing,Dirk Pattinsonm. fl.
Häftad, Engelska, 2003
749 kr
Skickas inom 10-15 vardagar
Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
AvDirk Pattinson,Lutz Schröder
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar