Publication

2016 - Springer London, Limited

Language

English

Word Count

106,500 words, Guess

Page Count

426 pages

Identifiers

  • ISBN-139783319336008
  • ISBN-103319336002
  • Better World Books9783319336008
  • Open LibraryOL34536875M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Abstract State Machines, Alloy, B, TLA, VDM, and ZSpringer London, Limited2016

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!