Publication

2018-04-12 - Springer

Word Count

112,250 words, Guess

Page Count

449 pages

Physical Format

Paperback

Identifiers

  • ISBN-103319899597
  • ISBN-139783319899596
  • Better World Books9783319899596
  • Open LibraryOL28242454M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... IPaperbackSpringer2018-04-12

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!