Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger (Author), Fred Kröger (Author), Stephan Merz (Contributor)

New
Paperback
2010
$65.63

$65.63

Save:$4.41 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 448
Edition: Softcover reprint of hardcover 1st ed. 2008
Publisher: Springer
Published: 25 Nov 2010
ISBN 10: 3642086802
ISBN 13: 9783642086809

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

New

$65.63

$65.63

More Information