Home Advanced Search

Advanced Search - Page 1

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.)
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (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.)
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.)
Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers
  • PDF
  • English
  • Year: 2006
  • Author: Karin Breitman, Walt Truszkowski (auth.), Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.)
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
search