Theoretical foundations of programming methodology:lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare
Saved in:
Corporate Authors: | ; ; |
---|---|
Group Author: | ; |
Published: |
D. Reidel Sold and distributed in the U.S.A. and Canada by Kluwer Boston,
|
Publisher Address: | Dordrecht, Holland Boston, U.S.A. Hingham, MA |
Publication Dates: | c1982. |
Literature type: | Book |
Language: | English |
Series: |
NATO advanced study institutes series.. Series C,, Mathematical and physical sciencesMathematical and physical sciences ; v. 91 |
Subjects: | |
Carrier Form: | xiii, 658 p.: ; 25 cm. |
ISBN: |
9027714606 9027714622 (pbk.) |
Index Number: | TP31 |
CLC: | TP31-532 |
Call Number: | TP31-53/T399/1981/ |
Contents: |
Papers presented in 1981 at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Munich and sponsored by the NATO Science Committee under the 1981 advanced study institutes program. "Published in cooperation with NATO Scientific Affairs Division." Includes bibliographies. |