Author

Contributions

  • Dieter Hutter (Editor) - Contributor
  • Werner Stephan (Editor) - Contributor
  • Paolo Traverso (Editor) - Contributor
  • Markus Ullmann (Editor) - Contributor

Publication

1999-09-29 - Springer

Language

English

Word Count

94,250 words, Guess

Page Count

377 pages

Physical Format

Paperback

Identifiers

  • Open LibraryOL9369795M
  • ISBN-139783540664628
  • ISBN-103540664629
  • OCLC Control Number42296292
  • Library of Congress Control Number99044590
and 2 more
  • Goodreads1780221
  • LibraryThing6555952

Classifications

  • LCCQA76.9.F67 I59 1998

Subjects

Other Editions

  • Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)PaperbackSpringer1999-09-29

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!