<図書>

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton

(Lecture notes in computer science;239)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1986
大きさ vi, 395 p. : ill. ; 25 cm
一般注記 Includes bibliographies
著者標目 Melton, Austin
*Conference on the Mathematical Foundations of Programming Semantics (1985 : Manhattan, Kan.)
件 名 LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
NDLSH:プログラミング用言語
NDLSH:電子計算機
分 類 LCC:QA76.7
DC19:005.13/1
NDC8:007.64
本文言語 英語
書誌ID 2000028185
ISBN 3540168168
NCID BA0038542X WCLINK

類似資料

  1. 1 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
  2. 2 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
  3. 3 MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle
  4. 4 Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
  5. 5 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm
  6. 6 Foundations for programming languages / John C. Mitchell
  7. 7 Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
  8. 8 Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / S. Brookes ... [et al.], (eds.)
  9. 9 Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.)
  10. 10 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.)

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