The Secd Microprocessor A Verification Case Study

CHF 139.00
+ CHF 15.49 Spedizione

The Secd Microprocessor A Verification Case Study

Venduto da:
  • product image

CHF 139.00

Disponibile
+ CHF 15.49 Spedizione

Politica di reso a 14 giorni

Metodi di pagamento:

Dettagli del prodotto

Dettagli del prodotto

The Secd Microprocessor A Verification Case Study

This Is A Milestone In Machine-assisted Microprocessor Verification. Gordon 20 And Hunt 32 Led The Way With Their Verifications Of Sim Ple Designs, Cohn 12, 13 Followed This With The Verification Of Parts Of The Viper Microprocessor. This Work Illustrates How Much These, And Other, Pioneers Achieved In Developing Tractable Models, Scalable Tools, And A Robust Methodology.
  • Marchio: Springer Nature B.V
  • Categoria: Computer e internet
  • Autore: Brian T. Graham
  • Numero di pagine: 196
  • Casa editrice/Casa discografica: Springer Nature B.V
  • Lingua: English
  • Data di pubblicazione: 1992-05-31
  • Formato: Hardcover
  • ID Fruugo: 556942018-1125184152
  • ISBN: 9780792392453
Consegna

Consegna

Spedito entro 24 ore

  • STANDARD: CHF 15.49 - Consegna tra mar 10 novembre 2026–gio 12 novembre 2026

Spedizione da Regno Unito.

Resi

Resi

Facciamo del nostro meglio per assicurare che i prodotti che ordini vengano consegnati integralmente e secondo le tue indicazioni. Tuttavia, nel caso dovessi ricevere un ordine incompleto, oppure articoli differenti rispetto a quelli che hai ordinato, o se c'è qualche altro motivo per il quale non sei soddisfatto dell'ordine, puoi effettuare il reso dell'ordine, o qualsiasi prodotto incluso nell'ordine e ricevere un rimborso completo per gli articoli.

Visualizza la politica di reso completa