Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2003
  • Author: Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)
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
  • PDF
  • English
  • Year: 2002
  • Author: Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)
Transactions on Computational Science I
  • PDF
  • English
  • Year: 2008
  • Author: Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)
Transactions on Computational Science I
  • PDF
  • English
  • Year: 2008
  • Author: Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)
Software Specification Methods: An Overview Using a Case Study
  • PDF
  • English
  • Year: 2001
  • Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Industrial-Strength Formal Methods in Practice
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Electronic Visualisation in Arts and Culture
  • PDF
  • English
  • Year: 2013
  • Author: James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)
ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
search