yr 〜
yr

Search results 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)
Paper図書
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>
National Diet Library
  • Author HeadingDavies, 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)
Paper図書
Springerc1995.<M15-A9805>
National Diet Library
  • Author Heading...Peter) , 1956- Hinchey, Michael Gerard

Reached to the end of result.