Formal Specification and Verification of Digital Systems
by
George Milne
Hardcover
details (
USA
).
ISBN: 978-0-07-707811-9
ISBN-10: 0-07-707811-X
McGraw-Hill
· 1994
