• RecordNumber
    23863
  • LC Class
    QA
  • LC Number
    76.76
  • LC CutterNumber
    .V47,P76
  • Dewey Class
    005
  • Dewey Number
    .1
  • Dewey Date
    /4
  • Title

    Program verification

  • Author Statement
    edited by T. R. Colburn, J. H. Fetzer, and T. L. Rankin
  • Publication
    Kluwer Academic Publishers
  • Publication Year
    c1993
  • Collation
    xiii, 457 p.: ill.; 23 cm
  • Series
    Studies in cognitive systems ; v. 14
  • Subject

    Computer software- Verification

  • ADDED ENTRIES
    Colburn, Timothy R., 1952-,Fetzer, James H., 1940-,Rankin, Terry L
  • Holding Info.
    0792319656
  • DocumentNumber
    11783
  • SubTitle
    : fundamental issues in computer science
  • Biblography
    Includes bibliographical references (p. 429-443) and indexes
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=23863&Field=0&DTC=100