Books by Marko van Eekelen
No products found matching the selection.
-20%
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Marko van Eekelen, Ugo Dal Lago
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier
-20%
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Marko van Eekelen, Olha Shkaravska
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier
-20%
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier