Foundation of program verification /

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

Ejemplares similares