Author

Publication

2010 - Springer

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

  • ISBN-139781441959980
  • ISBN-10144195998X
  • Better World Books9781441959980
  • Open LibraryOL37119670M

Classifications

  • LCCTK7867-7867.5

Subjects

Topics

EngineeringVerificationSystem designComputer systemsElectronic systemsSystems engineeringComputer-aided design

Other Editions

  • Scalable Techniques for Formal VerificationSpringer2010

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!