Sinossi
Graduate level account of hardware verification and algebraic specification.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"...can be read casually by hardware engineers interested in getting an introduction to hardware verification, and understanding the issues influencing its transition to practice. It is also useful as a supplementary text for an undergraduate or a graduate course in hardware verification." M.K. Srivas, The Computer Journal
Descrizione del libro
Can be used for students and teachers for courses in hardware verification, hardware designers seeking an introduction to formal methods, and researchers interested in algebraic specification.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods in Circuit Design
Foto dell'editore
Formal Methods in Circuit Design
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 207. Codice articolo 18436587
Compra nuovo
EUR 128,21
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili