Showing 1 - 5 results of 5 for search 'Boiten, Eerke, 1966-', query time: 0.01s Refine Results
  1. 1
    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:
  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-, Boiten, Eerke, 1966-

    Published 2013
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  3. 3
    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
    Other Authors: “…Boiten, Eerke, 1966-…”
    Book
    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-

    Published 2001
    Other Authors: “…Boiten, Eerke, 1966-…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

    Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /

    Published 2002
    Other Authors: “…Boiten, Eerke, 1966-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search