Cover Image

Mathematical methods in program development /

Show other versions (1)
Bibliographic Details
Corporate Author: NATO Advanced Study Institute on Mathematical Methods in Program Development
Other Authors: Broy, M., 1949-, Schieder, Birgit
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:NATO ASI series. Computer and systems sciences ; no. 158.
Subjects:
Computer programming.
Computer software > Development > Mathematical methods.
Description
Item Description:"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--Title page verso.
Physical Description:viii, 528 pages ; 34 cm.
Bibliography:Includes bibliographical references.
ISBN:354063195X (hardcover : alk. paper)