Constructive Methods in Computing Science
Subtitle: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Publisher: Springer
Published: Aug 28, 1989
Format: hardcover
Number of pages: 486
ISBN-13: 9783540513698
Notes: Source title: Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F: (55))