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: - Manfred Broy - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540513698 - August 28, 1989
In case cover and title do not match, the title is correct

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: 1989 edition


Get an email once the item is available
Do you have a profile? Log in
Add to your iMusic wish list

Also available as:

Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988


478 pages, bibliography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 28, 1989
ISBN13 9783540513698
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 478
Dimensions 150 × 220 × 20 mm   ·   748 g   (Weight (estimated))
Editor Broy, Manfred

More by Manfred Broy

Show all

Mere med samme udgiver