• RecordNumber
    16863
  • Author

    Jones, Cliff B.

  • Title

    Systematic software development using VDM

  • Author Statement
    Cliff B. Jones
  • Edition
    2nd ed
  • Publication
    Prentice Hall , Prentice Hall
  • Publication Year
    1990
  • Collation
    xiv, 333 p. : ill. ; 24 cm
  • Series
    Prentice Hall international series in computer science
  • Notes
    0138807337 , Includes bibliographical references (p. 321-322) and indexes
  • Subject

    Computer software - Development

  • LC Class
    QA
  • LC Number
    76.76
  • LC CutterNumber
    .D47J66
  • LC Date
    1990
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=16863&Field=0&DTC=2