Publication

2016 - Springer

Language

English

Word Count

135,250 words, Guess

Page Count

541 pages

Identifiers

  • ISBN-139783319465203
  • ISBN-103319465201
  • Better World Books9783319465203
  • Open LibraryOL34897632M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Automated Technology for Verification and AnalysisSpringer2016

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!