Temporal Logics in Computer Science

Temporal Logics in Computer Science

  • Stéphane Demri
  • Valentin Goranko
  • Martin Lange
Publisher:Cambridge University PressISBN 13: 9781107028364ISBN 10: 1107028361

Paperback & Hardcover deals ―

Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹6,046Book ChorGOCrosswordGODC BooksGO

e-book & Audiobook deals ―

Amazon India GOGoogle Play Books GOAudible GO

* Price may vary from time to time.

* GO = We're not able to fetch the price (please check manually visiting the website).

Share this with your friends:

Know about the book -

Temporal Logics in Computer Science is written by Stéphane Demri and published by Cambridge University Press. It's available with International Standard Book Number or ISBN identification 1107028361 (ISBN 10) and 9781107028364 (ISBN 13).

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

Stéphane Demri

More books from the author

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now