Temporal Logics in Computer Science

Name: Temporal Logics in Computer Science: Finite-State Systems
Brand: Cambridge University Press
SKU: 9781107028364
Price: 4334.00 INR
Availability: InStock

Finite-State Systems

by Stéphane Demri, Valentin Goranko, Martin Lange

Cambridge University Press · 2016

₹4,334

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Temporal Logics in Computer Science: Finite-State Systems by Stéphane Demri, Valentin Goranko & others is a 752-page book published by Cambridge University Press in 2016.

The book deals with Computer science.