このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
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.
シリーズ Lecture notes in computer science ; 1384
データ種別 図書
出版者 Berlin ; New York : Springer
出版年 c1998
本文言語 英語
大きさ xiii, 455 p. : ill. ; 24 cm
電子版へのリンク

所蔵情報


理系図 自動書庫 061232004018090 408/L 49 1998

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 *TACAS (4th : 1998 : Lisbon, Portugal)
European Conferences on Theory and Practice of Software (1998 : Lisbon, Portugal)
Steffen, Bernhard
件 名 LCSH:System design -- Congresses  全ての件名で検索
LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.S88
DC21:004.2/1
書誌ID 1000982524
ISBN 3540643567
NCID BA35397571
巻冊次 ISBN:3540643567
登録日 2009.09.16
更新日 2017.02.18

類似資料