Program derivation : the development of programs from specifications /

Program derivation : the development of programs from specifications /

57

Detalhes bibliográficos
Autor principal: Dromey, R. G., 1946-
Formato:
Publicado em: Reading, Mass. : Addison-Wesley, 1989
Assuntos:
Electronic digital computers

Registros relacionados