Julien Schmaltz Author

The authors are highly experienced researchers and lecturers in the domain of this book, in particular they have class-tested its content at TU Eindhoven and the University of Oxford.

Prof. Jan Friso Groote, Eindhoven University of Technology, Dept of Mathematics & Computer Science, EINDHOVEN, The Netherlands

Mr. Rolf Morel, University of Oxford, Computer Science, OXFORD, United Kingdom

Dr. Julien Schmaltz, Eindhoven University of Technology, Mathematics and Computer Science, EINDHOVEN, The Netherlands

Dr. Adam Watkins, Eindhoven University of Technology, Mathematics and Computer Science, EINDHOVEN, The Netherlands