Program verification /

Guardado en:
Detalles Bibliográficos
Autor principal: Francez, Nissim
Formato: Libro
Lenguaje:Inglés
Publicado: Wokimgham : Addison-Wesley, 1992
Materias:
LEADER 00687Cam#a22002535i#4500
001 ITUCSID000047
003 ITUC
005 20061009130245
008 050516s1992||||xxu|||||||||||||||||eng d
020 # # |a 0201416085 
040 # # |a ITUC  |b spa  |c ITUC 
041 # # |a eng 
082 # # |a 005  |2 20 
092 # # |c 005  |l FRA 
100 1 # |a Francez, Nissim 
245 1 0 |a Program verification /   |c Nissim Francez 
260 # # |a Wokimgham :   |b Addison-Wesley,   |c 1992 
300 # # |a xi, 312 p. :   |b il. ;   |c 24 cm. 
650 # 7 |a Informática  |2 Spines 
650 # 7 |a Programas de computador  |2 Spines 
908 # # |a imp 
930 # # |a 128  |d pre 
952 # # |w 050516  |p ITUC128  |a ITUC  |b ITUC  |o 005 FRA  |y IMP 
999 # # |a Graciela Cicognani