Normal view MARC view ISBD view

Program verification

Francez, Nissim

Program verification - Cambridge : [S.n.], 1992 - xi, 312 p. : il. ; 24 cm.

On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.

ISBN: 0201416085

Standard No.: DIF-M2877

Subjects--Topical Terms:
PROGRAMACIÓN
VERIFICACIÓN DE PROGRAMAS

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD