Home Advanced Search

Advanced Search - Page 1

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
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.)
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.)
Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings
  • PDF
  • English
  • Year: 2007
  • Author: John Derrick, Jüri Vain
The color of mind: why the origins of the achievement gap matter for justice
  • EPUB
  • English
  • Year: 2018
  • Author: Darby, Derrick;Rury, John L
Formal Methods for Open Object-based Distributed Systems: Volume 2
  • PDF
  • English
  • Year: 1997
  • Author: Howard Bowman, John Derrick (eds.)
The Color of Mind: Why the Origins of the Achievement Gap Matter for Justice
  • PDF
  • English
  • Year: 2018
  • Author: Derrick Darby; John L. Rury
The Edinburgh Companion to Scots
  • PDF
  • English
  • Year: 2022
  • Author: John Corbett; J. Derrick McClure; Jane Stuart-Smith
Social Movements for Good: How Companies and Causes Create Viral Change
  • PDF
  • English
  • Year: 2016
  • Author: Derrick Feldmann
search