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
$67.69

$67.69

Save:$4.55 (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

$67.69

$67.69

More Information