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

Constructive

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

Gebunden

ISBN-13: 978-3-540-51369-8

ISBN-10: 3-540-51369-8

Springer · 1989
S. auch:
2011TaschenbuchConstructive 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)