Martin Steffen
Identifiers
- Open LibraryOL5566012A
Top Subjects
- Object-oriented programming (Computer science) (1)
- Lambda calculus (1)
Books by Martin Steffen
Total count: 5
-
Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen1985-01-01
-
Higher-order subtypingRev. version with fun subtyping.LFCS, Dept. of Computer Science, University of Edinburgh1994-01-01
-
Formal Methods for Open Object-Based Distributed Systems7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ProceedingsSpringer London, Limited2005-01-01
-
Fundamentals of Computation Theory18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, ProceedingsSpringer London, Limited2011-01-01
-
Software Engineering and Formal Methods : SEFM 2019 Collocated WorkshopsCosim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected PapersSpringer International Publishing AG2020-01-01