An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

Saved in:

Bibliographic Details
Main Author:	Fisher, Michael 1962-
Format:	Unknown
Published:	Chichester, West Sussex, UK J Wiley & Sons 2011
Subjects:	Temporal automata Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantum cellular automata theory, experimentation and prospects
Published: (2006)

Cellular automata machines a new environment for modeling
by: Toffoli, Tommaso
Published: (1987)

Cellular automata theory and experiment
Published: (1991)

The collected works of J. Richard Buchi
by: Buchi, J. Richard
Published: (1990)

Automata networks in computer science theory and applications
Published: (1987)

Modern formal logic
by: McKay, Thomas J.
Published: (1989)

Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000
Published: (2000)

Temporal logic in specification. Proceedings of the ...
Published: (1989)

Cellular automata and groups
by: Ceccherini-Silberstein, Tullio
Published: (2010)

Elements of the theory of computation
by: Lewis, Harry R
Published: (1981)

Elements of the theory of computation
by: Lewis, Harry R.
Published: (1998)

Temporal databases theory, design, and implementation
Published: (1993)

Collision-based computing
Published: (2002)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Published: (2010)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

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

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Temporal bone imaging
Published: (2008)

Temporal bone imaging
Published: (2016)

Logic
by: Tomassi, Paul
Published: (1999)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Cellular automata, dynamical systems, and neural networks
Published: (1994)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

What is mathematical logic?
Published: (1972)

Understanding symbolic logic
by: Klenk, Virginia 1940-
Published: (1989)

Handbook of mathematical logic
Published: (1978)

Waht is mathematical logic?
Published: (1972)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)