Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58)

by Martin Lange (Author), Martin Lange (Author), Stéphane Demri (Author), Valentin Goranko (Author)

Used
Hardcover
2016
$53.32

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

Synopsis

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

$53.32

Save:$69.00 (56%)

Quantity

1 in stock

More Information

Format: Hardcover
Pages: 752
Edition: Annotated
Publisher: Cambridge University Press
Published: 30 Sep 2016
ISBN 10: 1107028361
ISBN 13: 9781107028364

Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58)

Used

$53.32

Synopsis

$53.32

More Information