Métodos para especificaçao de sistemas
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Lengua: | portugués |
| Datos de publicación: |
Campinas :
[S.n.],
1988
|
| Series: | Colección EBAI
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Libro editado para la III Escuela Argentino-Brasileña de Informática, realizada en Curitiba, Brasil, del 25-01 al 07-02-1998. -- Incluye bibliografía. -- |
| Descripción Física: | ix, 288 p. : il. ; 22 cm. |
Tabla de Contenidos:
- Especificaciones semi-formales
- Especificación algebraica
- Especificación basada en modelos
- Especificación de sistemas concurrentes usando un modelo operacional
- Descripción suscinta de algunos metodos que utilizan lenguajes semi-formales de especificación
- Descripción suscinta de algunos métodos formales de especificación
- Sistemas formales.