Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems

Book Informaton
Temporal Logics in Computer Science: Finite-State Systems

Author

Stéphane Demri; Valentin Goranko; Martin Lange

Year of Publication

2016-10

Publisher

Cambridge University Press

Pages

752

Language

en

ISBN

9781107028364, 9781139236119

ARI Id

1667249149160

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 5 times.
Access Options
Cambridge University Press
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Computer science