Mathematical Logic and Programming Languages

Editor

C.A.R. Hoare and J.C. Shepherdson

ISBN

0−13−561465−1

Note

The papers in this book were first published in the Philosophical Transactions of the Royal Society Series A‚ Vol. 312‚ 1984.

Publisher

Prentice−Hall

Year

1985