福岡大学蔵書検索

Static analysis : third International Workshop, WSA '93, Padova, Italy, September 1993 : proceedings / Patrick Cousot ... [et al.] (eds.)
(Lecture notes in computer science ; 724)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1993
形態	ix, 283 p. : ill. ; 24 cm
著者標目	Workshop on Static Analysis (3rd : 1993 : Padova, Italy) Cousot, Patrick, 1948-
件　名	LCSH:Programming (Electronic computers) -- Congresses 全ての件名で検索 LCSH:Programming languages (Electronic computers) -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:005.1 LCC:QA76.6
書誌ID	LT00442227

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

本文言語	英語
一般注記	"Third Workshop on Static Analysis (WSA'93)"--Foreword Includes bibliographical references
NCID	BA20834005
巻冊次	ISBN:3540572643

目次／あらすじ