Home Advanced Search

Advanced Search - Page 1

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Eric Hehner (auth.), Steve Dunne, Bill Stoddart (eds.)
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2006
  • Author: Steve Dunne, Bill Stoddart
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Advances in Computing and Information — ICCI '91: International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Eric C. R. Hehner (auth.), Frank Dehne, Frantisek Fiala, Waldemar W. Koczkodaj (eds.)
Perfumery: The psychology and biology of fragrance
  • PDF
  • English
  • Year: 1988
  • Author: D. M. Stoddart (auth.), Steve Van Toller, George H. Dodd (eds.)
Advancing Practical Theology : Critical Discipleship for Disturbing Times
  • PDF
  • English
  • Year: 2014
  • Author: Eric Stoddart
A practical theory of programming
  • PDF
  • English
  • Year: 1993
  • Author: Eric C.R. Hehner
A Practical Theory of Programming
  • PDF
  • English
  • Year: 2011
  • Author: Eric C.R. Hehner
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.)
A Practical Theory of Programming
  • PDF
  • English
  • Year: 1993
  • Author: Hehner, Eric C. R
search