Publication

2014 - Springer

Language

English

Word Count

84,000 words, Guess

Page Count

336 pages

Identifiers

  • ISBN-139783662436523
  • ISBN-103662436523
  • Better World Books9783662436523
  • Open LibraryOL34505988M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Abstract State Machines, Alloy, B, TLA, VDM, and ZSpringer2014

Similar Books

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!