Constructive Methods in Computing Science
Subtitle: International Summer School (Nato a S I Series Series III, Computer and Systems Sciences)
Publisher: Springer
Published: November 1989
Language: eng
Number of pages: 478
ISBN-13: 9780387513690