Colog-88
Subtitle: International Conference on Computer Logic Tallinn, Ussr, December 12-16, 1988 Proceedings (Lecture Notes in Computer Science)
Contributors: G. E. Mints (Editor)
Publisher: Springer
Published: June 1990
Language: eng
Number of pages: 338
ISBN-13: 9780387523354
First sentence: We investigate the processes admitting algebraic specifications.