Correctitud de programas /

Código QR

Correctitud de programas /

Detalles Bibliográficos
Autor principal:	Loría Sáenz, Carlos (Autor, Autor/a)
Formato:	Tesis Libro
Lenguaje:	Spanish
Publicado:	San José, C.R., 1987.
Materias:	PROGRAMAS PARA COMPUTADORA

Ejemplares similares

Guías para el desarrollo de programas a través de pruebas de correctitud : proyecto II
por: Gómez Meneses, Vicente, et al.
Publicado: (1989)

Desarrollo plausible de pruebas de correctitud de programas /
por: Gómez-Meneses, Vicente
Publicado: (1988)

Diseño de sistemas computarizados para presupuestación de obras civiles, edificaciones de una sola planta de diseño general /
por: Vargas Loría, Jaime
Publicado: (1984)

DESARROLLO DE PROGRAMAS Y CRITERIOS DE PRUEBAS DE CORRECTITUD..
por: GOMEZ MENESES, VICENTE

La protección jurídica de los programas de computación /
por: Téllez Valdés, Julio
Publicado: (1985)

Programa computarizado para el dimensionado de ductos en sistemas de aire acondicionado /
por: Camacho Navarro, Carlos Eduardo, et al.
Publicado: (1988)

Diseño de programas para sistemas /
por: Gauthier, Richard L., et al.
Publicado: (1985)

Estructura de datos y diseño de programas
por: Kruse, Robert L. 1941-, et al.
Publicado: (1988)

Identificación y categorización automática de instaladores de programas para apoyar la búsqueda en un repositorio de software /
por: Delgado López, Manuel Emilio 1986-
Publicado: (2014)

Programa de cálculo por computadora para valorar propiedades termodinámicas del agua, el aire y su mezcla /
por: Del Castillo Valenciano, Luis Diego, et al.
Publicado: (1993)

Medición del tamaño funcional en el desarrollo de software dirigido por modelos /
por: Salas Villalobos, Luis Carlos 1987-
Publicado: (2018)

Algunos programas de uso común en Pascal
Publicado: (1982)

Programa computarizado para el calculo de redes de tuberias /
por: Ureña Sandoval, Ronny Antonio, et al.
Publicado: (1989)

Manual para el uso del Programa de Estabilidad Transitoria /
por: Retana Robleto, Ismael, et al.
Publicado: (1989)

Software libre para cálculo numérico /
por: Medrano Sánchez, Carlos T., et al.
Publicado: (2009)

Programa de computadora para síntesis cinemática de mecanismos planos de cuatro barras.
por: Pacheco Rodríguez, Rodney
Publicado: (1997)

Programa para generar diagramas de interacción de paredes de mampostería integral /
por: Vega Morales, Eduardo
Publicado: (1989)

Diseño de engranes rectos y helicoidales mediante un programa de computadora
por: Rodríguez Chacón, Alonso, et al.
Publicado: (1997)

Programa de computo [sic] para el diseno y operacion de embalses /
por: Jiménez Ulate, Jorge, et al.
Publicado: (1984)

Aplicación de un programa de computación a la coordinación modular en construcciones a base de mamposteria integral /
por: Matamoros Castegnaro, Francisco, et al.
Publicado: (1993)

Ayuda audivisual, análisis de sistemas : curso IE-409 /
por: Loría Martínez, Guillermo A., et al.
Publicado: (2008)

DRAIN-2D, programa de computadora para el analisis de la respuesta inelastica de estructuras bajo excitaciones sismicas /
por: Ary Goldik, Natan
Publicado: (1980)

Fundamentos teóricos para el modelado y análisis de procesos y sistemas : teoría del curso IE-409 /
por: Loría Martínez, Guillermo A., et al.
Publicado: (2008)

Los Secretos de Windows /95
por: Livingston, Brian
Publicado: (1995)

Los secretos de windows 95 [Multimedia]
Publicado: (1995)

Programa general para análisis estático y diseño de marcos de concreto reforzado /
por: Ruiz Munguía, Jorge Arturo, et al.
Publicado: (1988)

La Biblia de Wordperfect 6 para Windows /
Publicado: (1994)

Comparativo dos softwares de gerenciamento de referencias bibliográficas : Mendeley, EndNote e Zotero = Comparing the bibliographic management softwares : Mendeley, EndNote and Zotero /
por: Yamakawa, Eduardo Kazumi, et al.

Fundamentos de la ingeniería del software : un enfoque basado en procesos /
por: Montilva Calderón, Jonás Arturo
Publicado: (2021)

Pruebas basadas en modelos como mecanismo para disminuir la deuda técnica de aplicaciones legadas : una experiencia en la industria /
por: Huertas Sánchez, Thomas 1988-
Publicado: (2019)

Microsoft Office para Windows 95 : kit de recursos /
por: Sáenz Pérez, Fernando
Publicado: (1997)

Diseño y desarrollo de programas de computación : teoría y práctica
por: Alfaro Rodríguez, Miguel Angel, et al.
Publicado: (1995)

Descubre Windows 98 : edición preliminar
por: Miller, Michael
Publicado: (1998)

Todo sobre windows 95 : [multimedia]: CD-ROM interactivo
por: Watson, Michael
Publicado: (1996)

AutoCad avanzado : versión 12 (incluye AME V.2, RENDER, ASE, Aplicaciones ADS)
por: López Fernández, Javier
Publicado: (1993)

Paso a paso Excel para Windows 95 /
por: Nossiter, Johua C.
Publicado: (1996)

Software inspection : an industry best practice /
por: Wheeler, David Alson 1965-
Publicado: (1996)

PC World Panama [Multimedia]
Publicado: (2004)

Validación de programas de cómputo para el cálculo de corrientes de cortocircuito por medio del osciloperturbógrafo.
por: Solera Urcuyo, Ricardo Antonio, et al.
Publicado: (1997)

Optimización de redes hidráulicas /
por: Arguedas Mora, Carlos Fernando, et al.
Publicado: (1990)