Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 (Nato Science Series C:)

Proceedings

by: A.W. Biermann · G. Guiho

Hardcover

ISBN: 978-90-277-1504-3

ISBN-10: 90-277-1504-1

Springer · 1982