Suggested Topics within your search.
Showing 1 - 12 results of 12 for search '', query time: 0.03s Refine Results
  1. 1
    Computer aided verification : proceedings /

    Computer aided verification : proceedings /

    Published 2009
    Conference Proceeding Book
  2. 2
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Conference Proceeding Book
  3. 3
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Conference Proceeding Book
  4. 4
    Digital logic and microprocessor design with vhdl /

    Digital logic and microprocessor design with vhdl / by Hwang, Enoch

    Published 2006
    Book
  5. 5
    VHDL : programming by example /

    VHDL : programming by example / by Perry, Douglas L.

    Published 2002
    Contributor biographical information
    Publisher description
    Table of contents
    Book
  6. 6
    Decision procedures : an algorithmic point of view /

    Decision procedures : an algorithmic point of view / by Kroening, Daniel

    Published 2010
    Book
  7. 7
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    Conference Proceeding Book
  8. 8
    Formal methods in circuit design /

    Formal methods in circuit design / by Stavridou, V. (Victoria)

    Published 1993
    Book
  9. 9
    Computer aided verification : proceedindings /

    Computer aided verification : proceedindings /

    Published 1997
    Conference Proceeding Book
  10. 10
    Formal methods in computer-aided design /

    Formal methods in computer-aided design /

    Published 1996
    Conference Proceeding Book
  11. 11
    Computer aided verification /

    Computer aided verification /

    Published 1996
    Conference Proceeding Book
  12. 12
    Theorem proving in higher order logics /

    Theorem proving in higher order logics /

    Published 1996
    Conference Proceeding Book

Search Tools: