Publication

2007-05-22 - Springer

Language

English

Word Count

82,500 words, Guess

Page Count

330 pages

Identifiers

and 5 more
  • Goodreads7238364
  • Library of Congress Control Number2007922183
  • OCLC Control Number124025385
  • Better World Books9780387691664
  • Open LibraryOL7447712M

Classifications

  • LCCTA345-345.5TK7888.4T
  • LCCTK7874.58 .G36 2007

Subjects

Other Editions

  • SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)Springer2007-05-22

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!