• Record number
    9938
  • Author

    Fujita Masahiro

  • Creator Role
    نويسنده
  • Title

    Verification techniques for system-level design

  • Publication
    Amsterdam Elsevier
  • Published Year
    2008
  • Fierst Pages
    viii
  • Main Pages
    240
  • Collation
    viii، 240، illus، tables
  • Reprint
    False
  • Added entries
    AU نويسنده Ghosh Indradeep 1970- , AU نويسنده Prasad Mukul
  • Subject

    Systems on a chip- Testing , Integrated circuits- Verification , Formal methods (Computer science)

  • Class
    621
  • Number
    3815
  • CutterNumber
    F 8
  • ISBN
    978-0-12-370616-4
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=9938