Métodos para especificaçao de sistemas

By: Contributor(s): Material type: TextTextSeries: Colección EBAIPublication details: Campinas : , 1988Description: ix, 288 p. : il. ; 22 cmSubject(s):
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.Informática D.2.1 MEN (Browse shelf(Opens below)) Available DIF-00319

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. --

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.

There are no comments on this title.

to post a comment.

Powered by Koha