Verwandte Artikel zu Higher Order Logic and Hardware Verification (Cambridge...
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, 31, Band 31) - Softcover
Buch 30 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Higher Order Logic and Hardware Verification (Cambridge...
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31) (Volume 0)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521115322
Neu kaufen
EUR 55,20
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Higher Order Logic and Hardware Verification
Verlag:
Cambridge University Press, GB, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Neu
Paperback
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. 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 LU-9780521115322
Neu kaufen
EUR 58,17
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 165 pages. 9.50x6.50x0.50 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521115329
Neu kaufen
EUR 52,48
EUR 11,69 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 180 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 8360127
Neu kaufen
EUR 57,29
EUR 7,60 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Verlag:
Cambridge University Press CUP, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 180. Bestandsnummer des Verkäufers 26536416
Neu kaufen
EUR 63,10
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521115322
Neu kaufen
EUR 48,70
EUR 18,11 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Verlag:
Cambridge University Press, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Neu
Softcover
Erstausgabe
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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, black & white illustrations. BIC Classification: TJFD; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 300. . 2009. 1st Edition. paperback. . . . . Bestandsnummer des Verkäufers V9780521115322
Neu kaufen
EUR 58,42
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 180. Bestandsnummer des Verkäufers 18536426
Neu kaufen
EUR 58,92
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31) (Volume 0)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521115322_new
Neu kaufen
EUR 55,03
EUR 14,01 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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, black & white illustrations. BIC Classification: TJFD; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 300. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780521115322
Neu kaufen
EUR 71,78
EUR 9,08 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar