Additional Information
Title: Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Author: Kröger, Fred
Publisher: Springer
Publication Year: 2010
Binding: Paperback
ISBN: 3642086802
EAN: 9783642086809
First Edition: No
Condition: Very Good
Cover Note: Photo is for illustrative purposes only - actual cover art may vary.
