Program verification
Material type:
- 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 | |
---|---|---|---|---|---|---|
![]() |
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.