本文に飛ぶ
図書

ZB 2005: formal specification and development in Z and B : 4th international conference of B and Z users : Guildford, UK, April 13-15, 2005 : proceedings. : 15th international Z user meeting : 6th international conference on the B method : workshop on refinement (REFINE 2005) : ZB 2005 meeting : Apr 2005, Guildford, UK. (Lecture Notes in Computer Science ; 3455)

図書を表すアイコン

ZB 2005: formal specification and development in Z and B : 4th international conference of B and Z users : Guildford, UK, April 13-15, 2005 : proceedings. : 15th international Z user meeting : 6th international conference on the B method : workshop on refinement (REFINE 2005) : ZB 2005 meeting : Apr 2005, Guildford, UK.

(Lecture Notes in Computer Science ; 3455)

国立国会図書館請求記号
M17-05-1678
国立国会図書館書誌ID
000007843584
資料種別
図書
著者
University of Surrey. Department of Computing.
出版者
Springer
出版年
c2005.
資料形態
ページ数・大きさ等
xv, 491 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Papers and discussions.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
3540255591
9783540255598 (ISBN-13)
ISSN(シリーズ)
0302-9743
出版事項
出版年月日等
c2005.
出版年(W3CDTF)
2005
数量
xv, 491 p. : ill. ; 24 cm.