Jump to main content

yr 〜
yr

Search results 16

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
  • Author HeadingGiannini, Tula. Bowen, J. P. (Jonathan Peter), 1956-

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.

Formal methods and testing : an outcome of the FORTEST network : revised selected papers

Formal methods and testing : an outcome of the FORTEST network : revised selected papers
Paper図書
Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingHierons, Robert M. Bowen, J. P. (Jonathan Peter) Harman, Mark FORTEST (Network...

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings
Paper図書
Didier Bert ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading...s Bert, Didier Bowen, J. P. (Jonathan Peter) King, Steve Walden, Marina

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Paper図書
Didier Bert ... [et al.] (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading...s Bert, Didier Bowen, J. P. (Jonathan Peter) Henson, Martin C. Robinson, K...

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
Paper図書
Jonathan P. Bowen ... [et al.] (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference of B and Z Users Bowen, J. P. (Jonathan Peter)

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice
Paper図書
Michael G. Hinchey and Jonathan P. Bowen, [editors]Springerc1999
Other Libraries in Japan
  • Author HeadingHinchey, Michael G. (Michael Gerard) Bowen, J. P. (Jonathan Peter)

High-integrity system specification and design : pbk

High-integrity system specification and design : pbk
Paper図書
Jonathon P. Bowen and Michael G. HincheySpringerc1999
Other Libraries in Japan
  • Author HeadingBowen, J. P. (Jonathan Peter) Hinchey, Michael G. (Michael ...

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings
Paper図書
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)Springerc1998
Other Libraries in Japan
  • Author Heading...nce of Z Users Bowen, J. P. (Jonathan Peter) Fett, Andreas Hinchey, Michae...

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Paper図書
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)Springerc1997
Other Libraries in Japan
  • Author Heading...nce of Z Users Bowen, J. P. (Jonathan Peter) Hinchey, Michael G. (Michael ...

Towards verified systems

Towards verified systems
Paper図書
edited by Jonathan BowenElsevier1994
Other Libraries in Japan
  • Author HeadingBowen, J. P. (Jonathan Peter)

Applications of formal methods

Applications of formal methods
Paper図書
edited by Michael G. Hinchey and Jonathan BowenPrentice Hall1995
Other Libraries in Japan
  • Author HeadingHinchey, Michael G. (Michael Gerard) Bowen, J. P. (Jonathan Peter)

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings
Paper図書
Jonathan P. Bowen, Michael G. Hinchey (eds.)Springerc1995
Other Libraries in Japan
  • Author Heading...nce of Z Users Bowen, J. P. (Jonathan Peter) Hinchey, Michael G. (Michael ...

Z User Workshop, Cambridge, 1994 : proceedings of the Eighth Z User Meeting, Cambridge, 29-30 June 1994 : Berlin : New York

Z User Workshop, Cambridge, 1994 : proceedings of the Eighth Z User Meeting, Cambridge, 29-30 June 1994 : Berlin : New York
Paper図書
J.P. Bowen and J.A. Hall, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingZ User Workshop Bowen, J. P. (Jonathan Peter) Hall, J. A. (John Anthony), 1...

Z User Workshop, London 1992 : proceedings of the seventh annual Z User Meeting, London, 14-15 December 1992 : Berlin : New York

Z User Workshop, London 1992 : proceedings of the seventh annual Z User Meeting, London, 14-15 December 1992 : Berlin : New York
Paper図書
J.P. Bowen and J.E. Nicholls (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingZ User Workshop Bowen, J. P. (Jonathan Peter) Nicholls, John E. British Com...

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 Gera...

Reached to the end of result.

RSS