Formal methods of program verification

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

Títulos similares