Program verification /
Francez, Nissim, 1944-
Program verification / Francez Nissim. - Wokingham, England : Addison-Wesley, 1992. - xi, 312 p. : il. ; 24 cm.
0201416085
Program verification.
Verificación de programas.
Program verification / Francez Nissim. - Wokingham, England : Addison-Wesley, 1992. - xi, 312 p. : il. ; 24 cm.
0201416085
Program verification.
Verificación de programas.