Dynamic logic [electronic resource]
| Main Authors: | Harel, David 1950- (Author), Kozen, Dexter 1951- (Author), Tiuryn, Jerzy (Author) |
|---|---|
| Corporate Author: | NetLibrary, Inc |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass
MIT Press
2000
|
| Series: | Foundations of computing
|
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click for information |
Similar Items
Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001)
by: Lightfoot, David 1951-
Published: (2001)
Z an introduction to formal methods
by: Diller, Antoni
Published: (1994)
by: Diller, Antoni
Published: (1994)
Computation as logic
by: Lalement, Rene
Published: (1993)
by: Lalement, Rene
Published: (1993)
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)
by: Hein, James L.
Published: (2010)
Formal engineering for industrial software development using the SOFL method
by: Liu, Shaoying 1960-
Published: (2004)
by: Liu, Shaoying 1960-
Published: (2004)
Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)
by: Farrell, Joyce
Published: (2004)
Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)
by: Bartee, Thomas C.
Published: (1991)
The logic of knowledge bases [electronic resource]
by: Levesque, Hector J. 1951-, et al.
Published: (2000)
by: Levesque, Hector J. 1951-, et al.
Published: (2000)
Logic programming
by: Saxton, Liza
Published: (2014)
by: Saxton, Liza
Published: (2014)
Logic and objects
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)
Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)
by: Burke, Edmund, et al.
Published: (1996)
An introduction to logic programming through Prolog
by: Spivey, J. M.
Published: (1996)
by: Spivey, J. M.
Published: (1996)
UML 2 semantics and applications
by: Lano, Kevin
Published: (2009)
by: Lano, Kevin
Published: (2009)
Mathematical aspects of logic programming semantics
by: Hitzler, Pascal, et al.
Published: (2011)
by: Hitzler, Pascal, et al.
Published: (2011)
Aristotelian logic and the Arabic language in Alfarabic [electronic resource]
by: Abed, Shukri
Published: (1991)
by: Abed, Shukri
Published: (1991)
Logic an introduction
by: Churchill, Robert Paul
Published: (1990)
by: Churchill, Robert Paul
Published: (1990)
Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2000)
by: Mano, M. Morris 1927-, et al.
Published: (2000)
Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2004)
by: Mano, M. Morris 1927-, et al.
Published: (2004)
Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (1997)
by: Mano, M. Morris 1927-, et al.
Published: (1997)
Just enough programming logic and design
by: Farrell, Joyce
Published: (2013)
by: Farrell, Joyce
Published: (2013)
Sets, logic and maths for computing
by: Makinson, David 1941-
Published: (2012)
by: Makinson, David 1941-
Published: (2012)
The elements of logic
by: Barker, Stephen Francis
Published: (1980)
by: Barker, Stephen Francis
Published: (1980)
Logic primer
by: Allen, Colin, et al.
Published: (1992)
by: Allen, Colin, et al.
Published: (1992)
Introduction to logic
by: Copi, Irving M.
Published: (1986)
by: Copi, Irving M.
Published: (1986)
Computability and logic
by: Boolos, George, et al.
Published: (1980)
by: Boolos, George, et al.
Published: (1980)
Algebraic foundations in computer science essays dedicated to symeon bozapalidis on the occasion of his retirement
by: Kuich, Werner 1941-, et al.
Published: (2011)
by: Kuich, Werner 1941-, et al.
Published: (2011)
Logic programming & type theory
by: Singleton, Velva, et al.
Published: (2014)
by: Singleton, Velva, et al.
Published: (2014)
Fundamentals of logic design
by: Roth, Charles H.
Published: (2006)
by: Roth, Charles H.
Published: (2006)
Fundamentals of logic design
by: Roth, Charles H.
Published: (2004)
by: Roth, Charles H.
Published: (2004)
Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)
by: Marcovitz, Alan B.
Published: (2005)
Theory of computer science : automata, languages and computation
by: Mishra, K. L. P., et al.
Published: (2007)
by: Mishra, K. L. P., et al.
Published: (2007)
Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2007)
by: Hopcroft, John E. 1939-, et al.
Published: (2007)
Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2006)
by: Hopcroft, John E. 1939-, et al.
Published: (2006)
The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1993)
by: Floyd, Robert W.
Published: (1993)
Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2001)
by: Hopcroft, John E. 1939-, et al.
Published: (2001)
A concise introduction to languages and machines
by: Parkes, Alan
Published: (2007)
by: Parkes, Alan
Published: (2007)
Logic in medicine
by: Phillips, Calbert I.
Published: (1995)
by: Phillips, Calbert I.
Published: (1995)
A concise introduction to logic
by: Hurley, Patrick J. 1942-
Published: (1984)
by: Hurley, Patrick J. 1942-
Published: (1984)
Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)
by: Stanoyevitch, Alexander
Published: (2010)
Introduction to logic design
by: Yanushkevich, Svetlana N., et al.
Published: (2008)
by: Yanushkevich, Svetlana N., et al.
Published: (2008)
Similar Items
-
Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001) -
Z an introduction to formal methods
by: Diller, Antoni
Published: (1994) -
Computation as logic
by: Lalement, Rene
Published: (1993) -
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010) -
Formal engineering for industrial software development using the SOFL method
by: Liu, Shaoying 1960-
Published: (2004)