Dexter kozen u a (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Logic, Language, Information, and Computation | 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings | Dexter Kozen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2025 | Springer | EAN 9783031995354 | 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. Mathematics of Program Construction | 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings | Dexter Kozen (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540223801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…