OPAC

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.)
(Lecture notes in computer science ; 2272)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.73:B155:I58:2002		3540431667	003535158				予約・取寄		仮想書架	予約・取寄		仮想書架

一般注記	Includes bibliographical references and index
著者標目	*International Conference of B and Z Users (2nd : 2002 : Grenoble, France) Bert, Didier Bowen, J. P. (Jonathan Peter), 1956- Henson, Martin C. Robinson, Ken
件　名	LCSH:B (Computer program language) -- Congresses 全ての件名で検索 LCSH:Z (Computer program language) -- Congresses 全ての件名で検索
分　類	LCC:QA76.73.B155
巻冊次	ISBN:3540431667
ISBN	3540431667
NCID	BA5542044X

目次／あらすじ