Publication

2009 - Springer, Berlin, Germany

Language

English

Word Count

58,250 words, Guess

Page Count

233 pages

Identifiers

and 4 more

Classifications

  • DDC004.0151
  • LCCQA76.9.F67 R54 2009
  • LCCQA75.5-76.95

Subjects

Series Statement

  • Lecture notes in computer science -- 5115

Other Editions

  • Rigorous methods for software construction and analysis: essays dedicated to Egon Börger on the occasion of his 60th birthdaySpringer2009-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!