Dirk Pattinson – författare

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

3 produkter

1. 

   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, 2022

   589 kr

   Lägg i varukorg

2. 

   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, 2003

   729 kr

   Lägg i varukorg

3. 

   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, 2012

   709 kr

   Lägg i varukorg