• RecordNumber
    416
  • Author

    Timothy R. Colburn

  • Title

    Program verification. Fundamental issues in computer scienc.vol 14.(studies in cognitive systems)

  • Publication
    Kluwer Academic publishers
  • Publication Year
    1993
  • Collation
    451
  • ISBN
    0792319656
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=416&Field=0&DTC=11