Métodos formais para o desenvolvimiento de programas /

Mostrar otras versiones (1)
Detalles Bibliográficos
Autor principal: Alencar, Paulo S.C. de
Otros Autores: Lucena, Carlos J.P. de
Formato: Libro
Lenguaje:Portugués
Publicado: Buenos Aires : Kapelusz, 1989
Edición:edición preliminar.
Colección:EBAI IV
Materias:
Computación
Métodos iterativos
Programas de computación
Verificación
Métodos formales
Métodos de transformación
VDM
Aporte de:Registro referencial: Solicitar el recurso aquí
Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro
LEADER 00871nam a2200289 4500
001 002764
003 arbauncb
008 150411s1989 ag g 000 0 por d
005 20171017112050.0
040 |a AR-BaUNCB  |c AR-BaUNCB 
245 1 0 |a Métodos formais para o desenvolvimiento de programas /  |c Paulo S.C. de Alencar, Carlos J.P. de Lucena 
250 |a edición preliminar. 
260 |a Buenos Aires :  |b Kapelusz,  |c 1989 
440 0 |a EBAI IV 
300 |a 175 p.  |c 22 cm 
020 |a 9501398781 
100 1 |a Alencar, Paulo S.C. de 
700 1 |a Lucena, Carlos J.P. de 
082 0 4 |a 001.6425 
653 |a Métodos formales 
653 |a Métodos de transformación 
653 |a VDM 
650 7 |a Computación  |2 mpirdes 
650 7 |a Métodos iterativos  |2 unescot 
650 7 |a Programas de computación  |2 unescot 
650 7 |a Verificación  |2 unescot 
999 |c 2695  |d 2695 

Ejemplares similares