Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: 55 (Nato ASI Subseries F:)

More Information

Format: Paperback
Pages: 492
Edition: Softcover reprint of the original 1st ed. 1989
Publisher: Springer
Published: 06 Dec 2011
ISBN 10: 3642748864
ISBN 13: 9783642748868