Loading...

QR Code

Temporal logics in computer science : finite-state systems

Bibliographic Details
Format:	Printed Book
Language:	English
Published:	Cambridge Press 2016

Similar Items

The Temporal logic of reactive and concurrent systems
by: Manna, Zohar, et al.
Published: (1992)

The temporal logic of reactive and concurrent systems/specification
by: zohar Manna,Amir Phueli
Published: (1992)

Temporal and Spatio-temporal Data Mining
by: WANG JUNMEI
Published: (2008)

Temporal and Spatio-temporal Data Mining
by: WANG JUNMEI
Published: (2008)

Logics for computer science
by: Singh, Arindama
Published: (2004)

Logic In Computer Science
by: Michell Hutch, Mark Ryan
Published: (2004)

Logics for computer science
by: Arindama Singh
Published: (2003)

Logic for computer science
by: Reeves, Steve

Logic In Computer Science /
by: Huth, Michael .
Published: (2004)

Computer science logic /
Published: (2003)

Temporality and turmoil : Ernest hemingway /
by: Kanal, Leela
Published: (2009)

Temporal Data Mining
by: Mitsa, Theophano
Published: (2010)

Temporal data mining /
by: Mitsa, Theophano
Published: (2010)

TEMPORAL ORGANIZATION IN CELLS
by: GOODWIN B.C
Published: (1963)

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael
Published: (2005)

Logic in computer science Modelling and reasoning about systems /
by: Huth, Michael
Published: (2004)

Mathematical Logic for Computer Science
by: Ben-Ari, Mordechai
Published: (2008)

Mathematical logic for computer science
by: Ben-Ari, Mordechai
Published: (2008)

Mathematical logic for computer Science
by: Ben - Ari, Mordechai
Published: (2005)

Mathematical logic for computer science
by: Ben-Ari, Mordechai
Published: (2008)

Mathematical logic for computer science
by: Ari, Mordechai Ben
Published: (2008)

Mathematical logic for computer science /
Published: (2008)

Logics for computer science : classical and non-classical /
Published: (2018)

Computability and Logic /
by: Boolos, George S
Published: (2007)

Computability and logic /
by: Boolos, George S.
Published: (2002)

Computability and logic /
by: Boolos, George
Published: (1974)

Computer Logic
by: Rose, Alan
Published: (1971)

Computer logic
by: Ros, Alan
Published: (1971)

Computability And Logic
by: Boolos, George S
Published: (1989)

Computational logic
by: Berger, Ulrich
Published: (1999)

Finite Geometrical Systems
by: Levi, F, W, (Levi, F, W)
Published: (1942)

Finite Geometrical Systems
by: Levi F.W
Published: (1942)

Finite Geometrical System
by: Levi, F W

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1986)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (2015)

Outlier detection for temporal data /
by: Gupta, Manish, et al.
Published: (2014)

Outlier detection for temporal data /
by: Gupta, Manish, et al.
Published: (2014)

Statistics for Spatio-Temporal data
by: Cressie, Noel
Published: (2011)

The temporal jurisdiction of international tribunals /
by: Gallus, Nick
Published: (2017)

Temporal Data & The Relational Model
by: Date, C. J.
Published: (2003)

Cannot write session to /tmp/vufind_sessions/sess_v76kovh1ao1gka9f20uk0shb6n