Local cover image
Local cover image

Program verification

By: Material type: TextTextPublication details: Cambridge : [S.n.], 1992Description: xi, 312 p. : il. ; 24 cmISBN:
  • 0201416085
Subject(s):
Contents:
On specifications -- Verifying deterministic programs -- The compositional approach -- Verifying nondeterministic programs -- Verifying programs with procedures -- Verifying concurrent programs -- Verifying distributed programs.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro 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

Local cover image