Mathematical methods in program development
By: edited by Manfred Broy, Birgit Schieder.
Contributors: Broy, M., 1949-; Schieder, Birgit.; NATO Advanced Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany)
Series: NATO ASI series.; no. 158
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 528
Subjects: Computer programming.; Computer software -- Development -- Mathematical methods.
Notes: Includes bibliographical references.
"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso.