Normal view MARC view ISBD view

Verificaçao e construçao de programas

By:

Material type: Text

TextSeries: Colección EBAIPublication details: Campinas : UNICAMP, 1986Edition: 1a edDescription: xi, 211 p. : il. ; 23 cmSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Libros	Biblioteca Fac.Informática	D.2.4 VEL (Browse shelf(Opens below))	Available		DIF-02901

Previous								Next
Previous	D.2.4 ROS Teoría de la computación y verificación de programas	D.2.4 ROS Teoría de la computación y verificación de programas	D.2.4 ROS Computabilidad, complejidad computacional y verificación de programas	D.2.4 VEL Verificaçao e construçao de programas	D.2.5 BAK Model-driven testing : using the UML testing profile	D.2.5 BEI Software testing techniques	D.2.5 KER Refactoring to patterns	Next

Libro editado para la I Escuela Brasileño-Argentina de Informática realizada en Campinas, Brasil, del 17 de febrero al 1 de marzo de 1986.

There are no comments on this title.

to post a comment.