An edition of Mechanized reasoning and hardware design (1992)

Mechanized reasoning and hardware design

by

  • 1 Currently reading
Cover of: Mechanized reasoning and hardware design by C. A. R. Hoare
Locate

My Reading Lists:

Create a new list
Notes
  • 1 Currently reading
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 15, 2020 | History
Edit
An edition of Mechanized reasoning and hardware design (1992)

Mechanized reasoning and hardware design

by

  • 1 Currently reading

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Prentice Hall
Language
English
Pages
151

Check nearby libraries

Buy this book

Subjects

Microprocessors, Computer-aided design, Logic design, Data processing
Edition Availability
Cover of: Mechanized reasoning and hardware design
Mechanized reasoning and hardware design
1992, Prentice Hall
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.
"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."

Published in
New York
Series
Prentice-Hall international series in computer science

Classifications

Dewey Decimal Class
621.39/2
Library of Congress
TK7895.M5 M4 1992

The Physical Object

Pagination
151 p. :
Number of pages
151

Edition Identifiers

Open Library
OL1709227M
ISBN 10
0135724058
LCCN
92010883
Goodreads
4783249

Work Identifiers

Work ID
OL23462585W

Source records

Library of Congress MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
November 15, 2020 Created by MARC Bot import existing book