Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)

5 durchschnittliche Bewertung
( 1 Bewertungen bei Goodreads )
 
9780521115322: Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor:

This 1993 book shows 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Versand: EUR 0,58
Von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9780521417181: Higher Order Logic and Hardware Verification Hardback (Cambridge Tracts in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10:  052141718X ISBN 13:  9780521417181
Verlag: Cambridge University Press, 1993
Hardcover

Beste Suchergebnisse bei AbeBooks

1.

T. F. Melham
Verlag: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 10
Anbieter
The Book Depository
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Zustand: New. Language: English. Brand new Book. This 1993 book shows 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. Bestandsnummer des Verkäufers AAV9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 31,10
Währung umrechnen

In den Warenkorb

Versand: EUR 0,58
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

2.

Melham, T.
Verlag: Cambridge University Press (2017)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 10
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Cambridge University Press, 2017. Paperback. Zustand: New. PRINT ON DEMAND Book; New; Publication Year 2017; Not Signed; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9780521115322_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 31,11
Währung umrechnen

In den Warenkorb

Versand: EUR 4,82
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

3.

T. F. Melham
Verlag: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 10
Anbieter
Book Depository International
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Zustand: New. Language: English. Brand new Book. This 1993 book shows 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. Bestandsnummer des Verkäufers AAV9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 36,46
Währung umrechnen

In den Warenkorb

Versand: EUR 0,58
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

4.

Melham, T. F.
Verlag: Cambridge Univ Pr (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 1
Anbieter
Revaluation Books
(Exeter, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Cambridge Univ Pr, 2009. Paperback. Zustand: Brand New. 1st edition. 165 pages. 9.50x6.50x0.50 inches. In Stock. Bestandsnummer des Verkäufers __0521115329

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 31,09
Währung umrechnen

In den Warenkorb

Versand: EUR 8,74
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

5.

Melham, T. F.
Verlag: Cambridge University Press (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Cambridge University Press, 2009. PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 33,95
Währung umrechnen

In den Warenkorb

Versand: EUR 9,32
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

6.

T. F. MELHAM
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 1
Anbieter
Herb Tandree Philosophy Books
(Stroud, GLOS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung 2009. Paperback. Zustand: NEW. 9780521115322 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bestandsnummer des Verkäufers HTANDREE0446319

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 35,72
Währung umrechnen

In den Warenkorb

Versand: EUR 9,32
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

7.

T. F. Melham
Verlag: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 10
Anbieter
Book Depository hard to find
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Paperback. Zustand: New. Language: English. Brand new Book. This 1993 book shows 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. Bestandsnummer des Verkäufers LIE9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 50,79
Währung umrechnen

In den Warenkorb

Versand: Gratis
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

8.

Melham, T. F.
Verlag: Cambridge University Press (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Paperbackshop-US
(Wood Dale, IL, USA)
Bewertung

Buchbeschreibung Cambridge University Press, 2009. PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 42,39
Währung umrechnen

In den Warenkorb

Versand: EUR 10,87
Von USA nach Deutschland
Versandziele, Kosten & Dauer

9.

T. F. Melham
Verlag: Cambridge University Press (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Paperback Anzahl: 1
Anbieter
Ergodebooks
(RICHMOND, TX, USA)
Bewertung

Buchbeschreibung Cambridge University Press, 2009. Paperback. Zustand: New. 1. Bestandsnummer des Verkäufers DADAX0521115329

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 48,83
Währung umrechnen

In den Warenkorb

Versand: EUR 4,53
Von USA nach Deutschland
Versandziele, Kosten & Dauer

10.

T. F. Melham
Verlag: Cambridge University Press (2009)
ISBN 10: 0521115329 ISBN 13: 9780521115322
Neu Softcover Anzahl: > 20
Anbieter
Bewertung

Buchbeschreibung Cambridge University Press, 2009. Zustand: New. Bestandsnummer des Verkäufers I-9780521115322

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 55,07
Währung umrechnen

In den Warenkorb

Versand: EUR 15,40
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen