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

By Stéphane Demri Valentin Goranko Martin Lange

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

Name: Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science, 58, Band 58)
Brand: Cambridge University Press
Availability: OutOfStock
Rating: 5 (1 reviews)

By Stéphane Demri Valentin Goranko Martin Lange

0 - Default Title

Product details

Edition:

1

Number of Pages:

752

Release Date:

2016-10-13

Publication Date:

2016-10-13

Publisher:

Cambridge University Press

Languages:

Published: English, Original: English

ISBN10:

1107028361

Weight:

1451 g

Buy on Amazon

Currently sold out