Mechanized reasoning and hardware design /
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Prentice Hall,
1992.
|
| Series: | Prentice-Hall international series in computer science.
|
| Subjects: |
| Item Description: | "A discussion organized and edited by C.A.R. Hoare and M.J.C. Gordon. (Meeting held at the Royal Society on 3 and 4 October 1991.) The papers in this book were first published in the Philosophical Transactions of the Royal Society of London, Series A, Volume 339, pp. 1-151, 1992." |
|---|---|
| Physical Description: | 151 pages : illustrations |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 0135724058 : |