Baltic Computer Science
Subtitle: Selected Papers (Lecture Notes in Computer Science)
Contributors: D. Bjorner (Editor)
Publisher: Springer
Published: August 1991
Language: eng
Number of pages: 619
ISBN-13: 9780387541310