Books by Martin Hofmann
Extensional Constructs in Intensional Type Theory
-20% with code BOOKS
In stock at our supplier
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-20% with code BOOKS
In stock at our supplier
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
-20% with code BOOKS
In stock at our supplier
Automated Construction of XSL-Templates: An Inductive Programming Approach
-20% with code BOOKS
In stock at our supplier
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedi
-20% with code BOOKS
In stock at our supplier