Publication

2010 - Springer, New York, New York (State)

Language

English

Word Count

66,500 words, Guess

Page Count

266 pages

Identifiers

Classifications

  • LCCTK7895.E42 S96 2010
  • LCCTK7867-7867.5

Subjects

Other Editions

  • Synthesis of embedded software: frameworks and methodologies for correctness by constructionSpringer2010-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!