<図書>

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)

(Lecture notes in computer science;1281)

所蔵情報を非表示

1

本郷キャンパス

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

8676/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1997
大きさ xi, 638 p. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 TACS (3rd : 1997 : Sendai, Japan)
Abadi, Martín
伊藤, 貴康(1940-) <イトウ, タカヤス>
件 名 LCSH:Computer software -- Congresses
分 類 LCC:QA76.751
DC20:005.1/01/5113
本文言語 英語
書誌ID 2000626504
ISBN 354063388X
NCID BA32154697 WCLINK

類似資料

  1. 1 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
  2. 2 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
  3. 3 Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)
  4. 4 Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)
  5. 5 Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop / editors, C. Hankin, I. Mackie, R. Nagarajan
  6. 6 Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker
  7. 7 SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
  8. 8 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
  9. 9 Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
  10. 10 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)

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