Dirk Pattinson - Böcker

Visar alla böcker från författaren Dirk Pattinson.
3 produkter
Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs - Automated Reasoning, Häftad

Automated Reasoning

Av Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Dirk Pattinson, Rolf Hennicker - Recent Trends in Algebraic Development Techniques, Häftad
Del 2755 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

Av Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Häftad, Engelska, 2003

729 kr

Skickas inom 7-10 vardagar
Dirk Pattinson, Lutz Schröder - Coalgebraic Methods in Computer Science, Häftad

Coalgebraic Methods in Computer Science

Av Dirk Pattinson, Lutz Schröder

Häftad, Engelska, 2012

709 kr

Skickas inom 7-10 vardagar