Showing 1 - 3 results of 3 for search 'Katoen, Joost-Pieter, 1964-'Skip to content
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
![Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]]](https://upload.wikimedia.org/wikipedia/commons/0/0f/Joost-Pieter-Katoen.jpg)
Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University.
Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.
Provided by Wikipedia