Publication

2017 - Springer London, Limited

Language

English

Word Count

302,500 words, Guess

Page Count

1,210 pages

Identifiers

  • ISBN-139783319105758
  • ISBN-103319105752
  • Better World Books9783319105758
  • Open LibraryOL37218746M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Handbook of Model CheckingSpringer London, Limited2017

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!