Cargando…

An introduction to practical formal methods using temporal logic

Detalles Bibliográficos
Autor principal:	Fisher, Michael
Lenguaje:	eng
Publicado:	J Wiley & Sons 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/1518490

Ejemplares similares

Probability logics: probability-based formalization of uncertain reasoning
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Introduction to logic programming
por: Genesereth, Michael, et al.
Publicado: (2020)

Introduction to fuzzy logic using Matlab
por: Sivanandam, SN, et al.
Publicado: (2006)

Formal logic
por: Prior, A. N. (Arthur N.), 1914-1969
Publicado: (1962)

Logicism, intuitionism, and formalism
por: Symons, John, et al.
Publicado: (2008)

The elements of formal logic /
por: Hughes, G. E. (George Edward), 1918-
Publicado: (1965)

Formal and trascendental logic
por: Husserl, Edmund, 1859-1938
Publicado: (1969)

Augmented temporal logic formalism for histories-based generalized quantum mechanics
por: Dass, T, et al.
Publicado: (1997)

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

A history of formal logic,
por: Bochenski, Joseph M., 1902-
Publicado: (1961)

Advances in temporal logic
por: Barringer, Howard, et al.
Publicado: (2000)

Logic as a tool: a guide to formal logical reasoning
por: Goranko, Valentin
Publicado: (2015)

Formal methods in computer system design
por: Hoare, C A R
Publicado: (1989)

Meaning and proscription in formal logic: variations on the propositional logic of William T. Parry
por: Ferguson, Thomas Macaulay
Publicado: (2017)

A practical introduction to fuzzy logic using LISP
por: Argüelles Mendez, Luis
Publicado: (2016)

An introduction to fuzzy logic for practical applications
por: Tanaka, Kazuo, 1962-
Publicado: (1997)

ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
por: Geleßus, David, et al.
Publicado: (2020)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

Formal definition in programming, Automata and formal languages
por: Ollongren, Alexander
Publicado: (1976)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

The languages of logic : an introduction to formal logic /
por: Guttenplan, Samuel D.
Publicado: (1997)

Introduction to formal languages
por: Révész, György E.
Publicado: (1991)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

A formal background to mathematics: logic, sets and numbers
por: Edwards, Robert
Publicado: (1979)

Subjective logic: a formalism for reasoning under uncertainty
por: Jøsang, Audun
Publicado: (2016)

Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016)

Introduction to logic
por: Suppes, Patrick, 1922-2014
Publicado: (1957)

An introduction to logic
por: Mitchell, David, 1914-
Publicado: (1964)

Introduction to logic
por: Copi, Irving M.
Publicado: (1968)

An introduction to logic,
por: Cohen, Morris Raphael, 1880-1947
Publicado: (1962)

Introduction to logic /
por: Copi, Irving M.
Publicado: (1982)

A Formal C Memory Model for Separation Logic
por: Krebbers, Robbert
Publicado: (2016)

Combining Higher-Order Logic with Set Theory Formalizations
por: Kaliszyk, Cezary, et al.
Publicado: (2023)

Formal methods for embedded distributed systems: how to master the complexity
por: Kordon, Fabrice, et al.
Publicado: (1991)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Formal verification - Robust and efficient code: Introduction to Formal Verification
por: ALBERTSSON, Kim
Publicado: (2016)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_0343qdrcr09m2o858voei42s2h