Higher Order Logic and Hardware Verification

Lingua: inglese

Editore: Cambridge University Press, 2012

052141718X / 9780521417181

Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science

Da: Home-set, Mannheim, GermaniaHome-set

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Rilegato

Condizione: Nuovo

EUR 177,50

EUR 49,90 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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. Sprache: Englisch Gewicht in Gramm: 443.

Titolo
Higher Order Logic and Hardware Verification
Autore
T. F. Melham, Thomas F. Melham
Editore
Cambridge University Press
Anno di pubblicazione
2012
Condizione
Neu
Rilegatura
Gebundene Ausgabe
Lingua
inglese
ISBN 10
052141718X
ISBN 13
9780521417181
Peso dell'articolo
443 grammi
Serie
Libro 30 di 40: Cambridge Tracts in Theoretical Computer Science

Home-set

Mannheim, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 10 a 12 giorni lavorativiDa 8 a 10 giorni lavorativi
Primo articoloEUR 49,90EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno

Specializzazione

Buch

Informazioni sull’azienda del venditore

Home-set

Germania