• RecordNumber
    636
  • Author

    Cliff B. Jones

  • Title

    Systematic software development using VDM

  • Publication
    Prentice Hall
  • Publication Year
    1990
  • Collation
    337
  • ISBN
    0138807337
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=636&Field=0&DTC=11