Bauer, F. L. - 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)

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1989, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 486, publicationDate : 2011-12-06, publishers : Bauer, F. L., Manfred Broy, M.- Broy, E.W. Dijkstra, C.A. Hoare, ISBN : 3642748864 ...