Books by Julien Schmaltz
No products found matching the selection.
-20%
Logic Gates, Circuits, Processors, Compilers and Computers
Julien Schmaltz, Adam Watkins, Jan Friso Groote, Rolf Morel
€50.14
€62.68
-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.58
€106.98
-20% with code BOOKS
In stock at our supplier