• RecordNumber
    25297
  • Author

    Francez, Nissim

  • Title

    Program verification

  • Author Statement
    Nissim Francez
  • Publication
    Addison-Wesley
  • Publication Year
    1992
  • Collation
    Xi, 312P.,illus
  • Series
    International computer science series
  • Notes
    Bibibliography: P.295-303
  • Subject

    Computer software - Verification

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