<図書>

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.)

(Lecture notes in computer science;1217)

所蔵情報を非表示

1

本郷キャンパス

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

8471/保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1997
大きさ x, 431 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *TACAS (3rd : 1997 : Enschede, The Netherlands)
Brinksma, Ed
件 名 LCSH:System design -- Congresses
LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.9.S88
DC21:004.2/1
本文言語 英語
書誌ID 2000604914
ISBN 3540627901
NCID BA30324708 WCLINK

類似資料

  1. 1 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.
  2. 2 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.)
  3. 3 Application development systems : the inside story of multinational product development / edited by Tosiyasu L. Kunii
  4. 4 SystemC : methodologies and applications / edited by Wolfgang Müller, Wolfgang Rosenstiel and Jürgen Ruf ; [foreword by Grant Martin and Thorsten Grötker]
  5. 5 Advances in the design of symbolic computation systems / A. Miola and M. Temperini (eds.)
  6. 6 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.)
  7. 7 Program design calculi / edited by Manfred Broy
  8. 8 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.)
  9. 9 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.)
  10. 10 Software technology / edited by H. El-Rewini, T. Lewis, B. D. Shriver

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