Clicky

Higher-order subtyping by Martin Steffen and similar books you'll love - Bookscovery

Home > Authors > Martin Steffen > Higher-order subtyping

Buy at: Bookshop.org Amazon

Higher-order subtyping

Martin Steffen

Recent activity

Rate this book to see your activity here.

5 Books Similar to Higher-order subtyping by Martin Steffen

Bookscovery readers who liked Higher-order subtyping also like Die Schlacht bei Minden, Formal Methods for Open Object-Based Distributed Systems and Fundamentals of Computation Theory. How many of these have you read?

Die Schlacht bei Minden by Martin Steffen

Cover of Die Schlacht bei Minden
Buy this book at:
Bookshop.org Amazon

Formal Methods for Open Object-Based Distributed Systems by Martin Steffen

Cover of Formal Methods for Open Object-Based Distributed Systems
Buy this book at:
Bookshop.org Amazon

Fundamentals of Computation Theory by Olaf Owe

Cover of Fundamentals of Computation Theory
Buy this book at:
Bookshop.org Amazon

Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops by Javier Camara

Cover of Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Buy this book at:
Bookshop.org Amazon

Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen by Martin Steffen

Cover of Untersuchungen zu retrovirus-abhängigen genomischen Veränderungen bei transformierten Zellen
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Higher-order subtyping

Please sign in to leave a comment