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: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Rilegato

Condizione: Nuovo

EUR 148,23

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 cours.

Codice articolo 446934780

Titolo
Higher Order Logic and Hardware Verification
Autore
Melham, T. F.|Melham, Thomas F.
Editore
Cambridge University Press
Anno di pubblicazione
2012
Condizione
New
Rilegatura
Rilegato
Lingua
inglese
ISBN 10
052141718X
ISBN 13
9780521417181
Serie
Libro 30 di 40: Cambridge Tracts in Theoretical Computer Science

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

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

ArticoloDa 16 a 45 giorni lavorativiDa 16 a 45 giorni lavorativi
Primo articoloEUR 48,99EUR 48,99
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
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268