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 /

Salvato in:
Dettagli Bibliografici
Enti autori: Technische Universitat Munchen, NATO Science Committee, Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology
Altri autori: Broy, M., 1949-, Schmidt, Gunther, 1939-
Natura: Atti del Convegno Libro
Lingua:English
Pubblicazione: Dordrecht, Holland ; Boston, U.S.A. : Hingham, MA : D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1982.
Serie:NATO advanced study institutes series. Mathematical and physical sciences ; v. 91
Soggetti:
LEADER 01926nam a2200337 a 4500
001 c000003684
003 CARM
005 00000000000000.0
008 820630s1982 ne b 10000 eng
019 1 |a 2264540  |z 12402894  |5 LACONCORD2021 
020 |a 9027714606 
020 |a 9027714622 (pbk.) 
035 |a (OCoLC)8627517  |5 LACONCORD2021 
050 0 0 |a QA76.6  |b .T446 1982 
082 0 0 |a 001.64/2  |2 19 
245 0 0 |a Theoretical foundations of programming methodology :  |b lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /  |c lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt. 
260 |a Dordrecht, Holland ;  |a Boston, U.S.A. :  |b D. Reidel ;  |a Hingham, MA :  |b Sold and distributed in the U.S.A. and Canada by Kluwer Boston,  |c c1982. 
300 |a xiii, 658 p. ;  |c 25 cm. 
440 0 |a NATO advanced study institutes series.  |n Series C,  |p Mathematical and physical sciences ;  |v v. 91 
500 |a 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. 
500 |a "Published in cooperation with NATO Scientific Affairs Division." 
504 |a Includes bibliographies. 
650 0 |a Electronic digital computers  |x Programming. 
700 1 |a Broy, M.,  |d 1949- 
700 1 |a Schmidt, Gunther,  |d 1939- 
710 2 0 |a Technische Universitat Munchen. 
710 2 0 |a NATO Science Committee. 
711 2 0 |a Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology  |d (1981) 
852 8 |b CARM  |h A2:AK03F0  |i C04959  |p 0189696  |f BK 
999 f f |i 80d73d85-a127-5adc-8658-e221a1e4339c  |s 0834d321-1b96-5b6c-a425-39736a563794 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C04959  |f A2:AK03F0  |h Other scheme  |i book  |m 0189696