<図書>

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.)

(Lecture notes in computer science;1785)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiv, 552 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *TACAS (6th : 2000 : Berlin, Germany)
Graf, Susanne
Schwartzbach, Michael I
European Conferences on Theory and Practice of Software (2000 : Berlin, Germany)
件 名 LCSH:System design -- Congresses
LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.9.S88
本文言語 英語
書誌ID 2001095981
ISBN 3540672826
NCID BA46078735 WCLINK

類似資料

  1. 1 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
  2. 2 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.)
  3. 3 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed.
  4. 4 Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'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 / W. Rance Cleaveland (ed.)
  5. 5 Application development systems : the inside story of multinational product development / edited by Tosiyasu L. Kunii
  6. 6 FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
  7. 7 Designing cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000) / edited by Rose Dieng ... [et al.]
  8. 8 CODES+ISSS 2006 : International Conference on Hardware/Software Codesign and System Synthesis : October 22-25, 2006, Seoul, Korea, embedded systems week 2006 / sponsored by ACM SigBED...[et al.]
  9. 9 System-On-A-Chip verification : methodology and techniques / Prakash Rashinkar, Peter Paterson, Leena Singh
  10. 10 Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)

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