A Formal Approach to Hardware Design - Tapa blanda

Staunstrup, Jørgen

 
9781461527657: A Formal Approach to Hardware Design
Tapa blanda
ISBN 10: 1461527651 ISBN 13: 9781461527657
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1461527651
ISBN 13 
9781461527657
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9780792394273: A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)

Edición Destacada

ISBN 10:  0792394275 ISBN 13:  9780792394273
Editorial: Springer, 1994
Tapa dura