Normal view MARC view ISBD view

Mathematics logic and programming languages. /

Hoare, C. A. R.

Mathematics logic and programming languages. / Hoare, C. A. R., Shepherdson, J. C.

Dewey Class. No.: 511.3 / M42