3 Ebooks par Dirk Pattinson
Rolf Hennicker & Dirk Pattinson: Recent Trends in Algebraic Development Techniques
…
PDF
Anglais
DRM
€57.66
Dirk Pattinson & Lutz Schroder: Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Est …
PDF
Anglais
DRM
€57.42
Jasmin Blanchette & Laura Kovacs: Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full researc …
EPUB
Anglais
DRM
€3.82
