このページのリンク

利用統計

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

<図書>
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
データ種別 図書
出版者 Berlin : Springer
出版年 c1997
本文言語 英語
大きさ x, 431 p. : ill. ; 24 cm
電子版へのリンク

所蔵情報

: pbk 理系図 自動書庫 061232004016424 408/L 49 1997

書誌詳細

一般注記 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 1001013755
ISBN 3540627901
NCID BA30324708
巻冊次 : pbk ; ISBN:3540627901
登録日 2009.09.16
更新日 2017.02.18

類似資料