Cargando…

Temporal Logic of Reactive and Concurrent Systems : Specification.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Manna, Zohar
Otros Autores:	Pnueli, Amir
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York : Springer New York, 1992.
Edición:	N.
Temas:	Computer programming. Logic, Symbolic and mathematical. Programmation (Informatique) Logique symbolique et mathématique. computer programming. Computer programming Logic, Symbolic and mathematical
Acceso en línea:	Texto completo

Ejemplares similares

HANDS-ON JULIA PROGRAMMING an authoritative guide to the production-ready systems in julia.
por: DASH, SAMBIT KUMAR
Publicado: (2021)

Fork Algebras in Algebra, Logic and Computer Science.
por: Frias, Marcelo Fabián
Publicado: (2002)

Handbook of logic in artificial intelligence and logic programming.
Publicado: (1998)

Alan Turing's systems of logic : the Princeton thesis /
por: Turing, Alan, 1912-1954
Publicado: (2012)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Logic With Trees : an Introduction to Symbolic Logic.
por: Howson, Colin
Publicado: (1997)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Neutrosophic logic : the revolutionary logic in science and philosophy : proceedings of the national symposium /
por: Smarandache, Florentin, et al.
Publicado: (2018)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

Two-valued iterative systems of mathematical logic. (am-5).
por: Emil L. Post
Publicado: (2016)

Introduction to mathematical logic.
por: Church, Alonzo, 1903-1995
Publicado: (1956)

Mathematical logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1981)

Mathematical logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1981)

Studies in Logic' by Members of the Johns Hopkins University (1883).
Publicado: (1983)

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013)

Linear Logic in Computer Science /
Publicado: (2004)

The continuum companion to philosophical logic /
Publicado: (2011)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

An introduction to practical formal methods using temporal logic /
por: Fisher, Michael, 1962-
Publicado: (2011)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic in the 20th century /
Publicado: (2003)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Logical Foundations of Proof Complexity.
por: Cook, Stephen, 1948-
Publicado: (2010)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Logic Colloquium 2007 /
Publicado: (2010)

Studies in logic /
Publicado: (1983)

Logical foundations of proof complexity /
por: Cook, Stephen, 1948-
Publicado: (2010)

Symbolic logic : syntax, semantics, and proof /
por: Agler, David W., 1982-
Publicado: (2012)

In the light of logic /
por: Feferman, Solomon
Publicado: (1998)

Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
por: Goncharov, S. S.
Publicado: (2006)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Mechanical logic in three-dimensional space /
por: Auletta, Gennaro
Publicado: (2013)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_hh44cec1i6efvr7asfold6kdls