Program verification

Detalles Bibliográficos
Autor Principal: Francez, Nissim
Formato: Libro
Lengua:inglés
Datos de publicación: Cambridge : [S.n.], 1992
Temas:
Acceso en línea:Consultar en el Cátalogo
Descripción Física:xi, 312 p. : il. ; 24 cm.
ISBN:0201416085
Tabla de Contenidos:
  • On specifications
  • Verifying deterministic programs
  • The compositional approach
  • Verifying nondeterministic programs
  • Verifying programs with procedures
  • Verifying concurrent programs
  • Verifying distributed programs.