Theory and Formal Methods
Subtitle: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorn (Current Topics in Rehabilitation)
Publisher: Springer
Published: January 1993
Language: eng
Format: Hardcover
Number of pages: 325
ISBN-13: 9783540198420
Subjects: Programming - General; General Theory of Computing; Computers - Languages / Programming; Computer Bks - Languages / Programming