Contributions

  • Fitzgerald, John, 1965- - Contributor
  • Jones, C. B. 1944- - Contributor
  • Lucas, Peter, 1955- - Contributor

Publication

1997 - Springer, Berlin, Germany

Language

English

Word Count

171,000 words, Guess

Page Count

684 pages

Identifiers

  • ISBN-103540635335
  • ISBN-139783540635338
  • Goodreads3808819
  • Library of Congress Control Number97037056
  • Open LibraryOL689979M

Classifications

  • DDC005.1/01/5113
  • LCCQA76.9.S88 I577 1997

Alternate Titles

  • Industrial applications and strengthened foundations of formal methods

Subjects

Series Statement

  • Lecture notes in computer science,
  • 1313

Other Editions

  • FME '97, industrial applications and strengthened foundations of formal methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedingsSpringer1997-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!