Articoli correlati a Mechanized Reasoning and Hardware Design

Mechanized Reasoning and Hardware Design ISBN 13: 9780135724057

Mechanized Reasoning and Hardware Design - Rilegato

 
9780135724057: Mechanized Reasoning and Hardware Design
Rilegato
ISBN 10: 0135724058 ISBN 13: 9780135724057
Casa editrice: Prentice Hall, 1992

Sinossi

Covers chip designs, mathematical proof versus simulation, automatic verification of sequential circuit designs, and microprocessor specification and verification

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Prentice Hall
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
0135724058
ISBN 13 
9780135724057
Rilegatura
Copertina rigida
Numero di pagine
151
Redattore
Hoare C. A. R., Gordan Michael J. C.
Contatto del produttore
non disponibile

Compra usato

Condizioni: buono
This is an ex-library book and...
Visualizza questo articolo
9780135724057: Mechanized Reasoning and Hardware Design
EUR 32,17

Convertire valuta

EUR 9,77 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Risultati della ricerca per Mechanized Reasoning and Hardware Design

Foto dell'editore

Hoare, C. A. R.
Editore: Prentice Hall, 1992
ISBN 10: 0135724058 ISBN 13: 9780135724057
Antico o usato Rilegato

Da: Anybook.com, Lincoln, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780135724057. Codice articolo 8247659

Contatta il venditore

Compra usato

EUR 32,17
Convertire valuta
Spese di spedizione: EUR 9,77
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello