• RecordNumber
    31671
  • LC Class
    QA
  • LC Number
    76.76
  • LC CutterNumber
    .V47,C6
  • Author

    Coward, David

  • Title

    Symbolic execution of software

  • Author Statement
    David Coward and Darrel Ince
  • Publication
    Chapman
  • Collation
    vi, 155 p.: illus.; 23 cm
  • Subject

    Computer software -- Verification

  • ADDED ENTRIES
    Ince, Darrel
  • Holding Info.
    0412583402,0412583402
  • Original By
    77/03/18
  • DocumentNumber
    43685
  • SubTitle
    : the SYM-BOL system
  • Biblography
    Includes index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=31671&Field=0&DTC=100