The weakest prespecification

Autoria(s): C.A.R.Hoare; Jifeng He
Data(s)

1987
Identificador

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

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

中文
Fonte

C.A.R.Hoare,Jifeng He.The weakest prespecification.Information Processing Letters,1987,24(2):127 - 132
Tipo

期刊论文
Acesso ao item digital