• RecordNumber
    18774
  • Author

    Kroff, Thomas

  • Title

    Introduction to formal hardware verification

  • Author Statement
    Thomas Kropf
  • Publication
    Springer
  • Publication Year
    1999
  • Collation
    ix, 299 P., illus
  • Notes
    3540654453 , Includes bibliographical references (P. [277]-289)
  • Subject

    Integrated circuits - Verification , Integrated circuits - Very large scale integration - Computer-aided design

  • LC Class
    TK
  • LC Number
    7874.75
  • LC CutterNumber
    .K76
  • LC Date
    1999
  • وارد کنندة اطلاعات
    صادقي
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=18774&Field=0&DTC=2