Publication

2015 - Springer Berlin / Heidelberg

Language

English

Word Count

181,250 words, Guess

Page Count

725 pages

Identifiers

  • ISBN-139783662466803
  • ISBN-103662466805
  • Better World Books9783662466803
  • Open LibraryOL34514039M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, ProceedingsSpringer Berlin / Heidelberg2015-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!