Dirk Pattinson

Dirk Pattinson

1 ספרים במאגר

ספרים

Coalgebraic Methods in Computer ScienceDirk Pattinson

Coalgebraic Methods in Computer Science

Dirk Pattinson · 2012

ספרים משותפים ואוספים

ספרים שבהם Dirk Pattinson מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Recent trends in algebraic development techniquesMartin Wirsing

Recent trends in algebraic development techniques

Martin Wirsing · 2004

Automated ReasoningJasmin Blanchette

Automated Reasoning

Jasmin Blanchette · 2022