<図書>

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

(Lecture notes in computer science;1579)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1999
大きさ xi, 443 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *TACAS (5th : 1999 : Amsterdam, Netherlands)
European Conferences on Theory and Practice of Software (Amsterdam, Netherlands)
Cleaveland, W. R. (Walter Rance), 1961-
件 名 LCSH:System design Congresses
LCSH:Computer software -- Development Congresses
分 類 LCC:QA76.9.S88
DC21:004.2/1
本文言語 英語
書誌ID 2000952269
ISBN 3540657037
NCID BA4072486X WCLINK

類似資料

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

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