Articoli correlati a Higher Order Logic and Hardware Verification
Higher Order Logic and Hardware Verification - Brossura
Libro 30 di 40: Cambridge Tracts in Theoretical Computer Science
Sinossi
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
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.
Contenuti
1. Introduction; 2. Higher order logic and the HOL system; 3. Hardware verification using higher order logic; 4. Abstraction; 5. Data abstraction; 6. Temporal abstraction; 7. Abstraction between models; 8. Conclusions and future work; Appendices; References.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Higher Order Logic and Hardware Verification
Foto dell'editore
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31) (Volume 0)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521115322
Compra nuovo
EUR 56,31
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Higher Order Logic and Hardware Verification
Editore:
Cambridge University Press, GB, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo LU-9780521115322
Compra nuovo
EUR 58,18
Spedizione gratuita
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification
Editore:
Cambridge University Press 2009-02, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Nuovo
PF
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9780521115322
Compra nuovo
EUR 48,59
Spedizione EUR 18,07
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 8360127
Compra nuovo
EUR 59,32
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Editore:
Cambridge University Press, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Nuovo
Brossura
Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: 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. . . . . Codice articolo V9780521115322
Compra nuovo
EUR 58,42
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification
Editore:
Cambridge University Press CUP, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Nuovo
Brossura
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 180. Codice articolo 26536416
Compra nuovo
EUR 65,40
Spedizione EUR 3,52
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 180. Codice articolo 18536426
Compra nuovo
EUR 59,63
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31) (Volume 0)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9780521115322_new
Compra nuovo
EUR 60,47
Spedizione EUR 10,93
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo V9780521115322
Compra nuovo
EUR 73,23
Spedizione EUR 9,26
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Higher Order Logic and Hardware Verification (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521115329
ISBN 13: 9780521115322
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521115322
Compra nuovo
EUR 60,66
Spedizione EUR 43,16
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili