Books by Marko Van Eekelen

Cover of Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

by Marko Van Eekelen, Ugo Dal Lago

2016
Cover of Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

by Olha Shkaravska, Marko van Eekelen

2010
Cover of Interactive Theorem Proving

Interactive Theorem Proving

by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz

2011
Cover of Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

by Marko Van Eekelen,Olha Shkaravska

2011

Can't find the book you're looking for? Let us know — it helps us improve.