Publication

2019 - Princeton University Press

Language

English

Word Count

58,000 words, Guess

Page Count

232 pages

Identifiers

  • ISBN-139780691189581
  • ISBN-100691189587
  • Better World Books9780691189581
  • Open LibraryOL33720204M

Subjects

Other Editions

  • Formal Verification of Control System SoftwarePrinceton University Press2019

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!