Foundation of program verification /

Detalles Bibliográficos
Autor Principal: Loeckx, Jacques
Formato: Printed Book
Publicado: New Jersey : John Wiley & Sons , 1983.
Subjects:
Program verification

Títulos similares