G. R. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming (part III), Addison Wesley, 2000 +, H. F. Jordan and G. Alaghband, Fundamentals of parallel processing, Prentice Hall, 2003 +
Image Processing, Analysis, and Machine Vision, 2nd ed.de Sonka, Hlavac et Boyle, Thomson Learning, 1998. +, Pattern Classification, 2nd ed.de Duda, Hart et Stork, Wiley Interscience, 2001. +, Image Analysis, Random Fields and Markov Chain Monte Carlo Methods: A Mathematical Introduction, 2nd ed. de Lutz et Winkler, Springer, 2004." +
Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft, Rajeev Motwani, and Jeffrey Ullman. +, Introduction to the Theory of Computation by Michael Sipser. +
Model Checking. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. MIT Press. +, The Spin Model Checker: Primer and Reference Manual. Gerard J. Holzmann. Addison-Wesley. +