著者典拠情報

著者標目形：
Hinchey, Michael G. (Michael Gerard), 1969-
属性：
Personal
日付：
1969
注記：
Concurrent systems, 1995: CIP t.p. (Michael G. Hinchey) data sheet (Hinchey, Michael G. (middle name: Gerard); b. 12-06-69)
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)
著者典拠ID：
DA09310131


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

図書
図書
3. Advances in formal methods
series editor, Michael Hinchey
出版情報: Boston ; Dordrecht ; London : Kluwer Academic
updating availability status information…