Program construction : international summer school /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors:	Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-
Format:	eBook
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. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online