Home Advanced Search

Advanced Search - Page 1

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (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.)
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.)
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.)
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.)
GI - 20. Jahrestagung I: Informatik auf dem Weg zum Anwender
  • PDF
  • German
  • Year: 1990
  • Author: David Lorge Parnas (auth.), A. Reuter (eds.)
High-Integrity System Specification and Design
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)
Software Engineering — ESEC/FSE'97: 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering Zurich, Switzerland, September 22–25, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: David Lorge Parnas (auth.), Mehdi Jazayeri, Helmut Schauer (eds.)
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)
search