Formal Methods For Interactive Systems (Computers and People Series)
by
Author Unknown
Hardcover
details (
USA
).
ISBN: 978-0-12-218315-7
ISBN-10: 0-12-218315-0
Academic Press
· 1991