Formal Methods in Systems Engineering
Publisher: Springer London, Limited
Published: 1993
Language: eng
Number of pages: 195
ISBN-13: 9783540197515
Subjects: Computer software, development; Systems engineering; Computer science