Formal verification of circuits

Author(s)

Bibliographic Information

Formal verification of circuits

Rolf Drechsler

Kluwer Academic, c2000

Available at  / 5 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Details

  • NCID
    BA47281767
  • ISBN
    • 079237858X
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Dordrecht
  • Pages/Volumes
    x, 179 p.
  • Size
    25 cm
Page Top