Program construction and verification /

other_versions_link
Detalhes bibliográficos
Autor principal: Backhouse, Roland C .
Formato: Printed Book
Idioma:English
Publicado em: London : Prentice -Hall International, Inc. , 1986.
Assuntos:
Program verification

Registos relacionados