<図書>

Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)

(Lecture notes in computer science;1694)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1999
大きさ viii, 356 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *SAS (6th : 1999 : Venice, Italy)
Cortesi, Agostino
Filé, Gilberto, 1951-
件 名 LCSH:Computer programming -- Congresses
LCSH:Programming languages (Electronic computers) -- Congresses
分 類 LCC:QA76.6
本文言語 英語
書誌ID 2000981949
ISBN 3540664599
NCID BA43280853 WCLINK

類似資料

  1. 1 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
  2. 2 Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Mooly Sagiv (ed.)
  3. 3 Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.)
  4. 4 Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / S. Doaitse Swierstra (ed.)
  5. 5 Software systems engineering
  6. 6 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
  7. 7 Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
  8. 8 Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)
  9. 9 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
  10. 10 Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)

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