A Formal Approach to Hardware Design - Softcover

Staunstrup, Jørgen

 
9781461527657: A Formal Approach to Hardware Design
Softcover
ISBN 10: 1461527651 ISBN 13: 9781461527657
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461527651
ISBN 13 
9781461527657
Binding
Paperback

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0792394275 ISBN 13:  9780792394273
Publisher: Kluwer Academic Publishers, 1994
Hardcover