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.

Remote Storage