• RecordNumber
    43821
  • Author

    Nissim Francez

  • Title

    Program verification

  • Publication
    Addison-Wesley
  • Publication Year
    1992
  • Collation
    315
  • نام فايل
    IUST eb-122 -- eb122d6
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=43821&Field=0&DTC=2