ExploreSign inJoin
Temporal Logics in Computer Science
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Temporal Logics in Computer Science

Valentin Goranko, Martin Lange, Stéphane Demri — 2016
Sign up to use
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.