Showing 1 - 2 results of 2 for search 'Henson, Martin', query time: 0.02s Refine Results
  1. 1
    Logics of Specification Languages

    Logics of Specification Languages by Bjørner, D. (Dines), 1937-

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
    Other Authors: “…Henson, Martin C.…”
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  2. 2
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings by Treharne, Helen

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
    Other Authors:
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:

Search Tools: