Publication

2014-05-09 - Springer

Word Count

70,000 words, Guess

Page Count

280 pages

Physical Format

Paperback

Identifiers

  • ISBN-103642448542
  • ISBN-139783642448546
  • Better World Books9783642448546
  • Open LibraryOL28743813M

Classifications

  • LCCQA75.5-76.95

Subjects

Other Editions

  • The Correctness-by-Construction Approach to ProgrammingPaperbackSpringer2014-05-09

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!