Formal Methods for Interactive Systems (Computers and People Series)
Publisher: Academic Pr
Published: June 1991
Language: eng
Format: Hardcover
Number of pages: 384
ISBN-13: 9780122183157
Subjects: General; Systems analysis & design; Human-Computer Interaction; Technology & Industrial Arts; Science/Mathematics