Normal view MARC view ISBD view

The B Method as an environment for the verification of Eiffel programs : A case study

By:

Oviedo, Juan

Material type: Article

Article

Article In: Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) - Ateneo de Profesores Universitarios de Computación (12º : 2004 : La Matanza) - Encuentro de Tesistas de Posgrado (7º : 2004 : La Matanza) - Workshop de Computación Gráfica Imágenes y Visualización (2º : 2004 : La Matanza) - Workshop de Agentes y Sistemas Inteligentes (5º : 2004 : La Matanza) - Encuentro de Aplicaciones de Internet2 (4º : 2004 : La Matanza) - Workshop de Ingeniería de Software y Base de Datos (1er : 2004 : La Matanza) - Jornada de Prospectiva Tecnológica (2004 : La Matanza) - Workshop de Tecnología Informática Aplicada en Educación (3er : 2004 : La Matanza) - Workshop de Procesamiento Distribuido y Paralelo (5º : 2004 : La Matanza) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (8ª : 2004 : La Matanza) - Jornada Vinculación Universidad-Empresa para la Industria del Software (2ª : 2004 : La Matanza) - Universidad Nacional de La Matanza CACIC 2004 [CD-ROM]

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Home library	Call number	Status	Date due
Capítulo de libro	Biblioteca de la Facultad de Informática	CD 234 (Browse shelf(Opens below))	Recurso en Línea

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	CD 234 Reconocimiento de comandos gestuales utilizando GesRN	CD 234 Sobre la relación entre la semántica GS y el razonamiento rebatible	CD 234 Soluciones a problemas de percepción y acción en el dominio de un equipo de fútbol de robots	CD 234 The B Method as an environment for the verification of Eiffel programs : A case study	CD 234 The Microsoft vs. Netscape browser’s war : A game theory based analysis	CD 234 The use of ART2 to create summaries from texts of different areas	CD 234 Una versión paralela del algoritmo evolutivo para optimización multiobjetivo NSGA-II	Next