Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) - Info and Reading Options
By Fred Kröger and Stephan Merz
"Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)" was published by Springer in April 2008, it has 400 pages and the language of the book is English.
“Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” Metadata:
- Title: ➤ Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
- Authors: Fred KrögerStephan Merz
- Language: English
- Number of Pages: 400
- Publisher: Springer
- Publish Date: April 2008
“Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” Subjects and Themes:
- Subjects: ➤ Tense (Logic) - Symbolic and mathematical Logic - Time - Logic, symbolic and mathematical
Edition Specifications:
- Format: Hardcover
Edition Identifiers:
- The Open Library ID: OL12809973M - OL18774151W
- Library of Congress Control Number (LCCN): 2008921857
- ISBN-13: 9783540674016
- ISBN-10: 3540674012
- All ISBNs: 3540674012 - 9783540674016
AI-generated Review of “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)”:
Read “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)”:
Read “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” by choosing from the options below.
Search for “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” in Libraries Near You:
Read or borrow “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” from your local library.
Buy “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” online:
Shop for “Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)” on popular online marketplaces.
- Ebay: New and used books.