skip to content
Mechanized reasoning and hardware design Preview this item
ClosePreview this item
Checking...

Mechanized reasoning and hardware design

Author: C A R Hoare; Michael J C Gordan
Publisher: New York : Prentice Hall, 1992.
Series: Prentice-Hall international series in computer science.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:

The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools,  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Mechanized reasoning and hardware design.
New York : Prentice Hall, 1992
(OCoLC)610208016
Document Type: Book
All Authors / Contributors: C A R Hoare; Michael J C Gordan
ISBN: 0135724058 9780135724057
OCLC Number: 25712842
Notes: "Meeting held at the Royal Scoeity on 3 and 4 October 1991."
"Papers in the book were first published in the Philosophical Transactions of the Royal Society of London, Series A, Volume 339, pp. 1-151, 1992."
Description: 151 p. : ill. ; 25 cm.
Contents: Designing chips that work, M.D. May; will proof replace simulation?, C. Pygott; the formalization of an HDL and its use in the FM8502 microprocessor fabrication, W.A. Hunt; using Nupri for hardware verification and synthesis, Miriam Leeser; 20BJ - a system with meta and object level rewriting, J.A. Goguen; the hardware implementation of Esterel, G. Berry; automatic verification of sequential circuit designs, E.M. Clarke; design as goal-directed problem-solving, M.P. Fourman; formal synthesis and dependent types, F.K. Hanna; Occam in the specification and verification of microprocessors, A.W. Roscoe.
Series Title: Prentice-Hall international series in computer science.
Responsibility: edited by C.A.R. Hoare and M.J.C. Gordan.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/25712842>
library:oclcnum"25712842"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/25712842>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
<http://viaf.org/viaf/108123782>
rdf:typeschema:Person
schema:birthDate"1934"
schema:familyName"Hoare"
schema:givenName"C. A. R."
schema:name"Hoare, C. A. R. (Charles Antony Richard), 1934-"
schema:contributor
schema:datePublished"1992"
schema:exampleOfWork<http://worldcat.org/entity/work/id/367660171>
schema:inLanguage"en"
schema:name"Mechanized reasoning and hardware design"@en
schema:numberOfPages"151"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.