Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series
Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series Login for the JSON version of this page.
- Title
- Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series
- ISBN-10
- 3-540-67401-2
- ISBN-13
- 978-3-540-67401-6
- Author(s)
- Stephan Merz, Fred Kroger
- Publisher
- Springer
- Published
- 2008
- Format
- Hardcover
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 714
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783540674016
- ASIN
- 3540674012
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 67401
- Check Digit
- 6
- Formatted
- 978-3-540-67401-6