年 〜
年

検索結果 2 件

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)
紙図書
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.10<M18-B914>
国立国会図書館
  • 著者標目Davies, Jim Gibbons, Jeremy Hinchey, Michael Gerard

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. (Lecture notes in computer science)

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. (Lecture notes in computer science)
紙図書
Springerc1995.<M15-A9805>
国立国会図書館
  • 著者標目...Peter) , 1956- Hinchey, Michael Gerard

検索結果は以上です。