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:, Band 55)

von: F.L. Bauer · Manfred Broy · M. Broy · E.W. Dijkstra · C.A. Hoare

Taschenbuch

ISBN-13: 978-3-642-74886-8

ISBN-10: 3-642-74886-4

S. auch:
1989	Gebundene Ausgabe	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:, Band 55)