Normal view MARC view ISBD view

Translating concurrent RSL into PVS

By:

Dasso, Arístides

Material type: Article

Article

ArticleDescription: p. 157-158 In: Workshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional del Comahue WICC 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 240 (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 240 Estrategia de búsqueda y seguimiento de objetos sobre el lecho marino con un vehículo submarino autónomo	CD 240 6617 : Arquitectura RISC de ancho de palabra de datos parametrizable para implementaciones sobre tecnología FPGA	CD 240 Software evaluation using quantitative methods	CD 240 Translating concurrent RSL into PVS	CD 240 LIDI : Un esquema de las líneas de investigación y desarrollo	CD 240 LIDI : Un esquema de las líneas de investigación y desarrollo	CD 240 Optimización de algoritmos sobre arquitecturas paralelas de memoria distribuida : Aplicación al reconocimiento de patrones	Next