Dirk Pattinson - Böcker

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

3 produkter

Kategorier

3 produkter

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Av Jasmin Blanchette, Laura Kovács m. fl

Häftad, Engelska, 2022

589 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

Av Martin Wirsing, Dirk Pattinson m. fl

Häftad, Engelska, 2003

729 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

Av Dirk Pattinson, Lutz Schröder

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar