Hoare,, C. A. R.
Unifying theories of programming / C. A. R. Hoare and He Jifeng
Unifying theories of programming / C. A. R. Hoare and He Jifeng
. - London : Prentice Hall, 1998
. - XIX, 298 p. 24 cm
. - (Prentice Hall series in computer science))
0-13-458761-8 (Brochado)
519.68
681.3.06