Showing 1 - 4 results of 4 for search 'Reeves, Steve', query time: 0.02s Refine Results
  1. 1
    Logic for computer science
    by Reeves, Steve, Clarke, Michael
    Published 1990
    Book
  2. 2
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Published 2010
    Other Authors: “…Reeves, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Other Authors: “…Reeves, Steve…”
    Get full text
    Electronic Kit Book
  4. 4
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Reeves, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search