<図書>

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin

(Lecture notes in computer science;173)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.173 2006006726

RECON//2934/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Semantics 8001005803


5

柏キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
柏数物・書庫(別置S)
RO:Semantics 8950132855


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 1984
大きさ 391 p. ; 25 cm
一般注記 Proceedings of the International Symposium on the Semantics of Data Types
"The symposium was sponsored by IFIP and EATCS"--Foreword
Includes bibliographies
著者標目 Kahn, G.
MacQueen, D. B. (David B.), 1946-
Plotkin, G. (Gordon), 1946-
*International Symposium on the Semantics of Data Types (1984 : Sophia-Antipolis)
International Federation for Information Processing
European Association for Theoretical Computer Science
件 名 LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses
LCSH:Data structures (Computer science) -- Congresses
分 類 LCC:QA76.7
DC19:001.64/24
本文言語 英語
書誌ID 2000702068
ISBN 3540133461
NCID BA03964401 WCLINK

類似資料

  1. 1 The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub
  2. 2 Formal specification of programming languages : a panoramic primer / Frank G. Pagan
  3. 3 Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
  4. 4 Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages / edited by J.W. de Bakker and J.C. van Vliet
  5. 5 Command language directions : proceedings of the IFIP TC 2.7 Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979 / IFIP Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979 ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing ; edited by David Beech
  6. 6 OCCAM programming manual / INMOS Limited
  7. 7 Programming language structures / Elliott I. Organick, Alexandra I. Forsythe, Robert P. Plummer
  8. 8 Programmiersprachen und Programmentwicklung : 7. Fachtagung, veranstaltet vom Fachausschuss 2 der GI München, 9./10. März 1982 / herausgegeben von Hans Wössner
  9. 9 Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January 26-28, 1981 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
  10. 10 Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 / edited by J. Bormann

検索結果一覧に戻る ページトップ