福岡大学蔵書検索

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)
(Lecture notes in computer science ; 2772)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xv, 782 p. : ill. , port. ; 24 cm
著者標目	Dershowitz, Nachum, 1951- Manna, Zohar
件　名	LCSH:Computer software -- Verification 全ての件名で検索
分　類	NDC:549.92 LCC:QA76.76.V47 DC22:005.1/4
書誌ID	LT00683726

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	549.92/L49-1/2772	0113323780100	9783540210023				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"The symposium was held in Taormina, Sicily, Italy between June 29 and July 4, 2003."--Pref. Includes bibliographical references and index
NCID	BA66316020
巻冊次	ISBN:3540210024

目次／あらすじ