Overview
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 253)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject.
A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.
Authors and Affiliations
Bibliographic Information
Book Title: A Formal Approach to Hardware Design
Authors: Jørgen Staunstrup
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/978-1-4615-2764-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1994
Hardcover ISBN: 978-0-7923-9427-3Published: 31 January 1994
Softcover ISBN: 978-1-4613-6193-0Published: 09 October 2012
eBook ISBN: 978-1-4615-2764-0Published: 06 December 2012
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XIV, 232
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering, Processor Architectures, Programming Languages, Compilers, Interpreters