著者典拠情報

著者標目形：
Bowen, J. P. (Jonathan Peter), 1956-
属性：
Personal
注記：
SRC:Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z User Meeting, Cambridge, 29-30 June 1994 / J.P. Bowen and J.A. Hall, (eds.)(Springer-Verlag, c1994)
著者典拠ID：
DA08593664


1.

図書
図書
1. ZB 2003 : Formal Specification and Development in Z and B : 3rd International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
Didier Bert ... [et al.] (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2651
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館