• RecordNumber
    23324
  • Author

    Hekmatpour, Sharam, 1961-

  • Title

    Software prototyping, formal methods and VDM

  • Author Statement
    Sharam Hekmatpour [and] Darrel Ince
  • Publication
    Addison--Wesley
  • Publication Year
    1988
  • Collation
    X, 222P., illus., tables
  • Series
    International computer science series
  • Notes
    Bibliography: P. 138-153 , 020117572X
  • Subject

    Computer software-Development

  • ADDED ENTRIES
    Ince, Darrel ,
  • LC Class
    QA
  • LC Number
    76.76
  • LC CutterNumber
    .D47H45
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=23324&Field=0&DTC=2