Theory and Formal Methods of Computing 94
Subtitle: Proceedings of the Second Imperial College Workshop
Contributors: Chris Hankin (Editor); I. Mackie (Editor); R. Nagarajan (Editor)
Publisher: World Scientific Pub Co Inc
Published: September 1995
Language: eng
Format: Hardcover
Number of pages: 431
ISBN-13: 9781860940033
Subjects: Mathematical theory of computation; Science/Mathematics; Formal methods (Computer science); Computer Programming; Computer science; Congresses; Formal methods (Computer scien; Computer Bks - Languages / Programming; Computers; Programming - General