福岡大学蔵書検索

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, Aplil 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)
(Lecture notes in computer science ; 2619)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xvi, 604 p. : ill. ; 24 cm
別書名	背表紙タイトル:Tools and algorithms for the construction and analysis of systems : ETAPS 2003 表紙タイトル:Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, Aplil 2003 : proceedings
著者標目	*International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (9th : 2003 : Warsaw, Poland) European Conferences on Theory and Practice of Software (ETAPS) (6th : 2003 : Warsaw, Poland) Garavel, Hubert Hatcliff, John, 1966-
件　名	LCSH:System design -- Congresses 全ての件名で検索 LCSH:Computer software -- Development -- Congresses 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00662880

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/2619	0113104970100	9783540008989				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)."--Pref. "ETAPS 2003 was the sixth instance of the European Joint Conferences on Theory and Practice of Software."--Foreword Includes bibliographical references and index
NCID	BA61606238
巻冊次	ISBN:3540008985

目次／あらすじ