Items related to Higher Order Logic and Hardware Verification: 31 (Cambridge...
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31) - Hardcover
Book 30 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.
"synopsis" may belong to another edition of this title.
Book Description
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Higher Order Logic and Hardware Verification: 31 (Cambridge...
Stock Image
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
Used
Hardcover
Seller: Antiquariat Armebooks, Frankfurt am Main, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe. Condition: Gut. 180 Seiten; Cambridge - 1st. 1993 : T. Melham - gb. Gr. 78-6VON-6LFW Sprache: Englisch Gewicht in Gramm: 490. Seller Inventory # 346845
Stock Image
HIGHER ORDER LOGIC AND HARDWARE VERIFICATION (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE)
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-98247
Stock Image
Higher Order Logic and Hardware Verification
Published by
Cambridge University Press CUP, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 180. Seller Inventory # 26434479
Stock Image
Higher Order Logic and Hardware Verification
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 180 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. Seller Inventory # 7413488
Buy New
£ 88.01
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Higher Order Logic and Hardware Verification
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 180. Seller Inventory # 18434469
Seller Image
Higher Order Logic and Hardware Design
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 849970-n
Stock Image
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521417181
Seller Image
Higher Order Logic and Hardware Design
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 849970
Stock Image
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521417181_new
Buy New
£ 123.51
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Higher Order Logic and Hardware Design
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 849970-n
Buy New
£ 123.50
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available