Computer Program Synthesis Methodologies
Subtitle: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10 1981
Publisher: Springer
Published: 2012
Language: eng
ISBN-13: 9789400970199