Publication

1991-12-18 - Springer

Language

English

Word Count

112,000 words, Guess

Page Count

448 pages

Identifiers

  • ISBN-100387976647
  • ISBN-139780387976648
  • LibraryThing2005342
  • Goodreads914294
  • Open LibraryOL7449494M

Subjects

Other Editions

  • The Temporal Logic of Reactive and Concurrent Systems: SpecificationSpringer1991-12-18

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!