Formal Methods For Interactive Systems
No ratings yet
Feb 11, 1991
·
English
·
Hardcover
(384 pages)