Yazar
Dirk Pattinson
3 cilt bulundu.
Cilt sonuçları
Coalgebraic Methods in Computer Science
Dirk Pattinson · Imprint: Springer
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Logic design / Logics and Meanings of Programs / Computation by Abstract Devices / Computer science
Recent trends in algebraic development techniques
Martin Wirsing, Dirk Pattinson, Rolf Hennicker · Springer
457 sayfa · 2003
Development / Congresses / Computer science / Mathematics / Computer software
Automated Reasoning
Jasmin Blanchette, Laura Kovács, Dirk Pattinson · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok