Catálogo en versión beta
Saltar al contenido
Logo Bibliotecas UNLP Logo  UNLP
Avanzado
  • Translating concurrent RSL int...
  • Citar
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
    • Exportar a MARC
    • Exportar a MARCXML
  • Enlace Permanente

Translating concurrent RSL into PVS

Mostrar todas las versiones(2)
Detalles Bibliográficos
Publicado en: 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] - .
Autor Principal: Dasso, Arístides
Formato: Capítulo de libro
Acceso en línea:Consultar en el Cátalogo
Descripción Física:p. 157-158
  • Existencias
  • Vista Marc

Consultar en el catálogo de Biblioteca de la Facultad de Informática

Ejemplares similares

  • Translating concurrent RSL into PVS
    por: Dasso, Arístides
  • Concurrency in Ada
    por: Burns, Alan
    Datos de publicación: (1998)
  • Concurrency in Ada
    por: Burns, Alan
    Datos de publicación: (1998)
  • Concurrent programming : principles and practice
    por: Andrews, Gregory R.
    Datos de publicación: (1991)
  • Concurrent programming : principles and practice
    por: Andrews, Gregory R.
    Datos de publicación: (1991)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Explorar el catálogo
  • Lista alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes