A Formal Approach to Hardware Design - Couverture souple

Staunstrup, Jørgen

 
9781461527657: A Formal Approach to Hardware Design
Couverture souple
ISBN 10 : 1461527651 ISBN 13 : 9781461527657
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461527651
ISBN 13 
9781461527657
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9780792394273: A Formal Approach to Hardware Design

Edition présentée

ISBN 10 :  0792394275 ISBN 13 :  9780792394273
Editeur : Kluwer Academic Publishers, 1994
Couverture rigide