product description page

Temporal Logics in Computer Science : Finite-State Systems (Hardcover) (Stu00e9phane Demri & Valentin

Temporal Logics in Computer Science : Finite-State Systems (Hardcover) (Stu00e9phane Demri & Valentin - image 1 of 1

about this item

Number of Pages: 744.0
Genre: Computers + Internet
Series Title: Cambridge Tracts in Theoretical Computer Science
Format: Hardcover
Publisher: Cambridge Univ Pr
Author: Stu00e9phane Demri & Valentin Goranko & Martin Lange
Language: English
Street Date: December 31, 2016
TCIN: 51494792
UPC: 9781107028364
Item Number (DPCI): 248-22-4878

guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.