A theoretical basis for stepwise refinement and the programming calculus

Autoria(s): Joseph M. Morris
Data(s)

1987
Identificador

http://ir.iscas.ac.cn/handle/311060/1246

http://www.irgrid.ac.cn/handle/1471x/66375
Idioma(s)

中文
Fonte

Joseph M. Morris.A theoretical basis for stepwise refinement and the programming calculus.Science of Computer Programming,1987,9(3):287 - 306
Tipo

期刊论文
Acesso ao item digital