págs. 1-15
McCulloch-Pitts Artificial Neuron and Rosenblatt's Perceptron: An abstract specification in Z
págs. 16-29
TAM: An Abstract Machine Specification in Z
Ignacio Trejos Zelaya, Iván A. Salazar Solano, Jennifer Caballero, Francisco Torres Rojas
págs. 30-51
La implementación de Scrum en organizaciones organizaciones geográficamente distribuidas: El caso de JIRA
págs. 52-76
Cálculo de intersecciones rayo/objeto en ray tracing: Una especificación formal en Z
Ernesto Rivera Alvarado, Kervin Sánchez Herrera, Ignacio Trejos Zelaya
págs. 77-95
Aplicación de la virtualidad en la enseñanza de la ingeniería: Caso de estudio Ingeniería en Telecomunicaciones en la UNED de Costa Rica
págs. 96-113
© 2001-2024 Fundación Dialnet · Todos los derechos reservados