Dirk pattinson u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Automated Reasoning | 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings | Jasmin Blanchette (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2022 | Springer | EAN 9783031107689 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Coalgebraic Methods in Computer Science | 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers | Dirk Pattinson (u. a.) | Taschenbuch | vii | Englisch | 2012 | Springer | EAN 9783642327834 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…