High level synthesis of protocols described by a formal description technique /
Autores principales: | , , |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Rio de Janeiro :
Universidad Federal do Rio de Janeiro,
1997.
|
Materias: |
Sistema de Bibliotecas de la Universidad de Costa Rica
Número de Clasificación: |
004.62 |
---|---|
Copia | Disponible |