Search Results - Bjorner, D. 1937- Dines

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Formal specification and software development

    Formal specification and software development by Bjorner, D. 1937- Dines

    Published 1982
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

    Published 1990
    Other Authors: “…Bjorner, D. 1937- Dines…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: