A Formal Approach to Hardware Design - Brossura

Staunstrup, Jørgen

 
9781461527657: A Formal Approach to Hardware Design
Brossura
ISBN 10: 1461527651 ISBN 13: 9781461527657
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface. 1. Formal Design Methods. 2. Designing with Transitions. 3. Formal Verification. 4. Synchronous Designs. 5. Synchronous Realizations. 6. Refinement. 7. Self-Timed Circuits. 8. Towards Larger Designs. 9. Epilog. A: Synchronized Transitions Report. Index.

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

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
1461527651
ISBN 13 
9781461527657
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9780792394273: A Formal Approach to Hardware Design: 253

Edizione in evidenza

ISBN 10:  0792394275 ISBN 13:  9780792394273
Casa editrice: Kluwer Academic Publishers, 1994
Rilegato