Publication

2017 - Springer

Language

English

Word Count

45,500 words, Guess

Page Count

182 pages

Identifiers

  • ISBN-139783319576831
  • ISBN-103319576836
  • Better World Books9783319576831
  • Open LibraryOL34388291M

Classifications

  • LCCTK7888.4TK7895.M5TK7

Subjects

Other Editions

  • Formal System VerificationSpringer2017

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!