ISBN 3642748864 books & textbook
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:)
Bauer, F.L. Broy, Manfred Broy, M. Dijkstra, E.W. Hoare, C.A.
Springer /2011-12-06 Paperback / 492 Pages
isbn-10: 3642748864 / isbn-13: 9783642748868
