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.
Apt, K. R., Boer, . F. S. d., & Olderog, E. (2009). Verification of sequential and concurrent programs (3rd ed.). Springer.
Chicago Style (17th ed.) CitationApt, Krzysztof R., Frank Sipke de Boer, and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. 3rd ed. London: Springer, 2009.
MLA (9th ed.) CitationApt, Krzysztof R., et al. Verification of Sequential and Concurrent Programs. 3rd ed. Springer, 2009.