• RecordNumber
    43573
  • Author

    Cliff B. Jones

  • Title

    Systematic software development using VDM

  • Publication
    Prentice Hall
  • Publication Year
    1990
  • Collation
    337
  • نام فايل
    IUST eb-114 -- eb114d38
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=43573&Field=0&DTC=2