A Formal Approach to Hardware Design (The Springer International Series in Engineering and Computer Science)
by
Jørgen Staunstrup
Hardcover
details (
USA
).
ISBN: 978-0-7923-9427-3
ISBN-10: 0-7923-9427-5
Springer
· 1994