Formal methods of program verification

other_versions_link
Detalles Bibliográficos
Autor principal: Berg,H.K
Formato: Printed Book
Lenguaje:English
Publicado: New Jersey Prentice-Hall
Descripción
Descripción Física:ic,207
ISBN:0133288072

Ejemplares similares