000 00764nam a2200205 a 4500
003 AR-LpUFIB
005 20250311170254.0
008 230201s1992 xxka r 000 0 eng d
020 _a0201416085
024 8 _aDIF-M2877
_b2968
_zDIF002786
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aFrancez, Nissim
245 1 0 _aProgram verification
260 _aCambridge :
_b[S.n.],
_c1992
300 _axi, 312 p. : il. ;
_c24 cm.
505 0 _a On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
650 4 _aPROGRAMACIÓN
650 4 _aVERIFICACIÓN DE PROGRAMAS
942 _cBK
999 _c52658
_d52658