Kirjat Marko van Eekelen
Valintaa vastaavia tuotteita ei löytynyt.
-25%
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
79,73 €
106,30 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
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
79,73 €
106,30 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
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
79,73 €
106,30 €
-25% koodilla BOOKS
Toimittajalla varastossa