本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Tula Giannini, Jonathan P. Bowen, editors.Springer[2019]<UA31-D6>
国立国会図書館
  • 著者標目Giannini, 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)
紙図書
Springerc2008.<M154-B108>
国立国会図書館
  • 著者標目Hierons, 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
紙図書
Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)Springerc2008
全国の図書館
  • 著者標目Hierons, 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
紙図書
Didier Bert ... [et al.] (eds.)Springerc2003
全国の図書館
  • 著者標目...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
紙図書
Didier Bert ... [et al.] (eds.)Springerc2002
全国の図書館
  • 著者標目...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
紙図書
Jonathan P. Bowen ... [et al.] (eds.)Springerc2000
全国の図書館
  • 著者標目International Conference of B and Z Users Bowen, J. P. (Jonathan Peter)

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice
紙図書
Michael G. Hinchey and Jonathan P. Bowen, [editors]Springerc1999
全国の図書館
  • 著者標目Hinchey, Michael G. (Michael Gerard) Bowen, J. P. (Jonathan Peter)

High-integrity system specification and design : pbk

High-integrity system specification and design : pbk
紙図書
Jonathon P. Bowen and Michael G. HincheySpringerc1999
全国の図書館
  • 著者標目Bowen, 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
紙図書
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)Springerc1998
全国の図書館
  • 著者標目...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
紙図書
Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)Springerc1997
全国の図書館
  • 著者標目...nce of Z Users Bowen, J. P. (Jonathan Peter) Hinchey, Michael G. (Michael ...

Towards verified systems

Towards verified systems
紙図書
edited by Jonathan BowenElsevier1994
全国の図書館
  • 著者標目Bowen, J. P. (Jonathan Peter)

Applications of formal methods

Applications of formal methods
紙図書
edited by Michael G. Hinchey and Jonathan BowenPrentice Hall1995
全国の図書館
  • 著者標目Hinchey, 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
紙図書
Jonathan P. Bowen, Michael G. Hinchey (eds.)Springerc1995
全国の図書館
  • 著者標目...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
紙図書
J.P. Bowen and J.A. Hall, (eds.)Springer-Verlagc1994
全国の図書館
  • 著者標目Z 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
紙図書
J.P. Bowen and J.E. Nicholls (eds.)Springer-Verlagc1993
全国の図書館
  • 著者標目Z 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)
紙図書
Springerc1995.<M15-A9805>
国立国会図書館
  • 著者標目...rick, Ireland) Bowen, J. P. (Jonathan Peter) , 1956- Hinchey, Michael Gera...

検索結果は以上です。

RSS