Métodos formais para o desenvolvimento de programas

By:

Alencar, Paulo S. C. de

Contributor(s):

Lucena, Carlos J. P. de

Material type: Text

TextSeries: Colección EBAIPublication details: Buenos Aires : Kapelusz, 1988Edition: Ed. prelim. edDescription: ix, 175 p. ; 23 cmISBN:

9501398781

Subject(s):

VERIFICACIÓN DE PROGRAMAS
CORRECCIÓN DE PROGRAMAS
MÉTODOS FORMALES

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Libro	Biblioteca de la Facultad de Informática	D.2.4 ALE (Browse shelf(Opens below))	Available		DIF-02895

Libro editado para la IV Escuela Brasileño-Argentina de Informática, realizada en Termas de Río Hondo, Santiago del Estero, Argentina, del 16 al 29 de enero de 1989.

Click on an image to view it in the image viewer

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD