Hoppa till sidans huvudinnehåll

Dirk Pattinson – författare

Visar alla böcker från författaren .
3 produkter
Jasmin Blanchette, Laura Kovács, Dirk Pattinson - Automated Reasoning, Häftad
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

579 kr

Skickas inom 10-15 vardagar

Martin Wirsing, Dirk Pattinson, Rolf Hennicker - Recent Trends in Algebraic Development Techniques, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Dirk Pattinson, Lutz Schröder - Coalgebraic Methods in Computer Science, Häftad

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

709 kr

Skickas inom 10-15 vardagar