福岡大学蔵書検索

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings / Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)
(Lecture notes in computer science ; 1493)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1998
形態	xv, 415 p.: ill. ; 24 cm
著者標目	*International Conference of Z Users (11th : 1998 : Berlin, Germany) Bowen, Jonathan Peter, 1956- Fett, Andreas Hinchey, Michael Gerard, 1969-
分　類	NDC:549.92
書誌ID	LT00553582

所蔵情報を非表示

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

書誌詳細を非表示

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

目次／あらすじ