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.
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, Woodside, 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
£ 117.37
£ 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 (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 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521417181
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
Stock Image
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 180 pages, line drawings, tables, references. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 11. Weight in Grams: 506. . 1993. hardcover. . . . . Seller Inventory # V9780521417181
Buy New
£ 138.86
£ 8.14 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
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 English. Seller Inventory # ria9780521417181_new
Buy New
£ 136.05
£ 11.29 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 Verification
Published by
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521417181
Buy New
£ 132.36
£ 15.95 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 Verification (Hardcover)
Published by
Cambridge University Press, Cambridge, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. Dr Melham shows here how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. 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. This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521417181
Buy New
£ 132.49
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available