Program construction : international summer school /

Bibliographic Details
Corporate Author:	North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors:	Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1979.
Series:	Lecture notes in computer science ; 69.
Subjects:	Computer programming. EUCLID. méthodologie programmation. structure donnée. multitraitement. sémantique programmation. transformation programme. vérification logiciel. production programme. Programmation (Informatique) Programmierung. Kongress.

Description
Item Description:	"The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf ... and was sponsored by the NATO Scientific Affairs Division under the 1978 Advanced Study Institutes programme."
Physical Description:	vii, 651 pages ; 25 cm. Also issued online.
ISBN:	038709251X 9780387092515 354009251X 9783540092513