Formal Methods for Industrial Critical Systems
2 contributors - Paperback
£59.99
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