Jump to main content

yr 〜
yr

Search results 3

Museums and digital culture : new perspectives and research (Springer series on cultural computing)

Museums and digital culture : new perspectives and research (Springer series on cultural computing)
Paper図書
Tula Giannini, Jonathan P. Bowen, editors.Springer[2019]<UA31-D6>
National Diet Library

Formal methods and testing : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). (Lecture notes in computer science ; 4949)

Formal methods and testing : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). (Lecture notes in computer science ; 4949)
Paper図書
Springerc2008.<M154-B108>
National Diet Library
  • Author HeadingHierons, Robert M. Bowen, J. P. (Jonathan Peter) , 1956- Harman, Mark.

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...rick, Ireland) Bowen, J. P. (Jonathan Peter) , 1956- Hinchey, Michael Gerard

Reached to the end of result.

RSS