A Formal Approach to Hardware Design
132.63 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10365098
Beschreibung
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.
Eigenschaften
Breite: | 160 |
Höhe: | 240 |
Seiten: | 232 |
Sprachen: | Englisch |
Autor: | Jørgen Staunstrup |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen