福岡大学蔵書検索

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.)
(Lecture notes in computer science ; 1019)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1995
形態	289 p. : ill. ; 24 cm
著者標目	TACAS (1st : 1995 : Aarhus, Denmark) Brinksma, Ed
件　名	LCSH:System design -- Congresses 全ての件名で検索 LCSH:Computer software -- Development -- Congresses 全ての件名で検索 LCSH:Electronic data processing -- Distributed processing -- Congress 全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00492056

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references and index
NCID	BA26610088
巻冊次	ISBN:3540606300

目次／あらすじ