<図書>

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

(Lecture notes in computer science;1055)

所蔵情報を非表示

1

本郷キャンパス

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

7978/保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c1996
大きさ xi, 434 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *TACAS (2nd : 1996 : Passau)
Margaria, Tiziana
Steffen, Bernhard
件 名 LCSH:System design -- Congresses
LCSH:Computer software -- Development -- Congresses
LCSH:Electronic data processing -- Distributed processing -- Congress
分 類 NDC9:007.61
LCC:QA76.9.S88
DC20:004.2/1
本文言語 英語
書誌ID 2000490619
ISBN 3540610421
NCID BA27378888 WCLINK

類似資料

  1. 1 Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)
  2. 2 Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990, proceedings / A. Miola (ed.)
  3. 3 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.)
  4. 4 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.
  5. 5 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.)
  6. 6 Program design calculi / edited by Manfred Broy
  7. 7 Application development systems : the inside story of multinational product development / edited by Tosiyasu L. Kunii
  8. 8 Technology projection modeling of future computer systems / Al Cutaia
  9. 9 Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.)
  10. 10 Hardware/software co-design / edited by Giovanni de Micheli and Mariagiovanna Sami

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