Taller de especificación, construcción y verificación formales de programas

Mostrar todas las versiones(2)
Detalles Bibliográficos
Publicado en: Congreso Argentino de Ciencias de la Computación (9º : 2003 : La Plata) - Jornada de Vinculación Universidad-Empresa para la Industria del Software (1ª : 2003 : La Plata) - Ateneo de Profesores Universitarios de Computación (11º : 2003 : La Plata) - Encuentro de Tesistas de Posgrado (6º : 2003 : La Plata) - Escuela Internacional de Informática CACIC (7ª : 2003 : La Plata) - Workshop de Computación Gráfica Imágenes y Visualización (1er : 2003 : La Plata) - Workshop de Tecnología Informática Aplicada en Educación (2º : 2003 : La Plata) - Jornadas sobre Software Libre (1ª : 2003 : La Plata) - Workshop de Agentes y Sistemas Inteligentes (4º : 2003 : La Plata) - Jornadas de E-Government (1ª : 2003 : La Plata) - Encuentro de Aplicaciones de Internet2 (3er : 2003 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de La Plata - Workshop de Procesamiento Distribuido y Paralelo (4º : 2003 : La Plata) - CACIC 2003 [CD-ROM] - .
Autor Principal: Luna, Carlos Daniel
Formato: Capítulo de libro
Acceso en línea:Consultar en el Cátalogo
Descripción no disponible.

Consultar en el catálogo de Biblioteca Pública UNLP

Ejemplares similares