John Derrick

Showing 1 - 2 results of 2 for search 'Derrick, John', query time: 0.02s Refine Results
  1. 1
    Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    by Derrick, John
    Published in Springer e-books (2007)
    Get full text
    eBook
  2. 2
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    Get full text
    eBook
Search Tools: Get RSS Feed