Local cover image
Program verification
Material type:
TextPublication details: Cambridge : [S.n.], 1992Description: xi, 312 p. : il. ; 24 cmISBN: - 0201416085
Contents:
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.2.4 FRA (Browse shelf(Opens below)) | Available | DIF-03422 |
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
Click on an image to view it in the image viewer