John Derrick

John Derrick may refer to:

*John Derrick (coroner) (born c. 1538), noted for the first historic mention of the sport of cricket *John Derrick (footballer) (1891–1938), English footballer *John Derrick (cricketer) (1963–2017), Welsh cricketer Provided by Wikipedia
Showing 1 - 10 results of 10 for search 'Derrick, John, 1963-', query time: 0.04s Refine Results
  1. 1
    Refinement in Z and Object-Z : foundations and advanced applications /

    Refinement in Z and Object-Z : foundations and advanced applications / by Derrick, John, 1963-

    Published 2001
    Book
    Save to List
    Saved in:
  2. 2
    Refinement in Z and Object-Z foundations and advanced applications /

    Refinement in Z and Object-Z foundations and advanced applications / by Derrick, John, 1963-

    Published 2001
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Refinement : semantics, languages and applications /

    Refinement : semantics, languages and applications / by Derrick, John, 1963-, Boiten, Eerke, 1966-

    Published 2018
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Refinement in Z and Object-Z : foundations and advanced applications /

    Refinement in Z and Object-Z : foundations and advanced applications / by Derrick, John, 1963-, Boiten, Eerke, 1966-

    Published 2013
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Abstract state machines, Alloy, B, VDM, and Z third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Abstract state machines, Alloy, B, VDM, and Z third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Published 2012
    Other Authors: “…Derrick, John, 1963-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Integrated formal methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /

    Published 2012
    Other Authors: “…Derrick, John, 1963-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

    Formal techniques for networked and distributed systems-- FORTE 2007 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

    Published 2007
    Other Authors: “…Derrick, John, 1963-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Formal methods for distributed processing : a survey of object-oriented approaches /

    Formal methods for distributed processing : a survey of object-oriented approaches /

    Published 2001
    Other Authors:
    Book
    Save to List
    Saved in:
  9. 9
    Formal methods for open object-based distributed systems. IFIP TC 6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 July 1997, Canterbury, Kent, UK /

    Formal methods for open object-based distributed systems. IFIP TC 6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 Jul...

    Published 1997
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Formal methods for open object-based distributed systems. IFIP TC 6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 July 1997, Canterbury, Kent, UK /

    Formal methods for open object-based distributed systems. IFIP TC 6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS '97), 21-23 Jul...

    Published 1997
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search