Formal Methods in Circuit Design - Rilegato

Stavridou, Victoria

Rilegato

ISBN 10: 0521443369 ISBN 13: 9780521443364

Casa editrice: Cambridge University Press, 1993

Riassunto

Graduate level account of hardware verification and algebraic specification.

Su questo libro

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.

Dettagli dell?edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1993
• Lingua: Inglese
• ISBN 10: 0521443369
• ISBN 13: 9780521443364
• Rilegatura: Copertina rigida
• Numero di pagine: 207
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia