Data Refinement Refined

Detalles Bibliográficos
Main Authors: Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
Formato: Record
Publicado: 1985