• RecordNumber
    48831
  • LC Class
    TK
  • LC Number
    7874.58
  • LC CutterNumber
    .P47
  • LC Date
    2005
  • Author

    Perry, Douglas L

  • Title

    Applied formal verification

  • Author Statement
    Douglas L. Perry, Harry D. Foster
  • Publication
    McGraw-Hill
  • Publication Year
    c2005
  • Collation
    xiv, 237 p.: ill., 24 cm
  • Series
    McGraw-Hill electronic engineering
  • Subject

    Integrated circuits , Electronic circuits

  • ADDED ENTRIES
    Foster, Harry, ,
  • وارد كنندة اطلاعات
    A
  • تاريخ ورود اطلاعات
    1388/03/19
  • Index
    Includes bibliographical references (p. 227-229) and index.
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=48831&Field=0&DTC=100