Mendeley出力
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 / lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt
(NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 91)
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | 利用注記 | 予約 |
|---|---|---|---|---|---|---|
| 1F図書 |
|
M71/Br/1982 | 9925879 |
|
|
|
| 野辺山宇宙 |
|
M9/Br/1982 | 9900971 |
|
|
書誌詳細を非表示
| 出版情報 | Dordrecht, Holland : D. Reidel , c1982 |
|---|---|
| 本文言語 | 英語 |
| 大きさ | xiii, 658 p. ; 25 cm |
| 一般注記 | 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 |
| 著者標目 | Broy, M., 1949- Schmidt, Gunther, 1939- Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1981) Technische Universität München NATO Science Committee |
| 件 名 | LCSH:Electronic digital computers -- Programming -- Addresses, essays, lectures 全ての件名で検索 |
| 分 類 | LCC:QA76.6 DC19:001.64/2 |
| ISBN | 9027714606 |
| NCID | BA03677272 |