著者典拠情報

著者標目形：
International Conference of Z Users
属性：
Meeting
場所：
Limerick, Ireland;Reading, UK;Berlin, Germany
日付：
1995;1997;1998
から見よ参照形：
Conference of Z Users, International
ZUM
からも見よ参照形：
Z User Workshop <DA04787432>
International Conference of B and Z Users <DA12860811>
注記：
ZUM '95, the Z formal specification notation, c1995: CIP t.p. (9th International Conference of Z Users, Limerick, Ireland, September 1995) pref. (prev. Z User Meeting renamed International Conference of Z Users)
SRC:ZUM '95 : the Z formal specificaiton notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Brown, Michael G. Hinchey (eds.)(Springer, c1995)
EDSRC:ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)(Springer, c1997)
EDSRC:ZB 2000 : formal specification and development in Z and B, c2000: t.p. (first International Conference of B and Z Users, York, UK, August 29-September 2, 2000)によってSAFフィールドを追加
著者典拠ID：
DA09310084


1.

図書
図書
1. 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.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1493
所蔵情報: 図書館
2.

図書
図書
2. ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
Jonathan P. Bowen, Michael G. Hinchey (eds.)
出版情報: Berlin ; New York : Springer, c1995
シリーズ名: Lecture notes in computer science ; 967
所蔵情報: 図書館