Home Advanced Search

Advanced Search - Page 1

Hydrometry (PBK) (Ihe Delft Lecture Note)
  • PDF
  • English
  • Year: 2003
  • Author: Wubbo Boiten
Refinement. Semantics, Languages and Applications
  • PDF
  • english
  • Year: 2018
  • Author: John Derrick, Eerke Boiten
Refinement: Semantics, Languages and Applications
  • PDF
  • English
  • Year: 2018
  • Author: John Derrick, Eerke Boiten
Refinement in Z and Object-Z: Foundations and Advanced Applications
  • PDF
  • English
  • Year: 2014
  • Author: John Derrick, Eerke A. Boiten (auth.)
Refinement in Z and Object-Z: Foundations and Advanced Applications
  • PDF
  • English
  • Year: 2001
  • Author: John Derrick BSc, DPhil, Eerke Boiten Ir, PhD (auth.)
Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
search