Dynamic logic

Dynamic logic

Saved in:

Bibliographic Details
Main Author:	Harel, David 1950-
Other Authors:	Kozen, Dexter 1951-, Tiuryn, Jerzy
Format:	Unknown
Published:	Cambridge, Mass. MIT Press 2000
Series:	Foundations of computing
Subjects:	Computer logic Formal methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Challenges for action theories
by: Thielscher, Michael
Published: (2000)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Formal models of agents ESPRIT project modelage final workshop selected papers
Published: (1999)

Software specification method
Published: (2006)

Verification of reactive systems formal methods and algorithms
by: Schneider, Klaus 1967-
Published: (2004)

Computer logic design principles and applications
by: Hsu, John Y.
Published: (2002)

Learning language in logic
Published: (2000)

Validated designs for object-oriented systems
Published: (2005)

Computation as logic
by: Lalement, Rene
Published: (1993)

Petri nets for systems engineering a guide to modeling, verification, and applications
by: Girault, Claude, et al.
Published: (2003)

Logic and language models for computer science
by: Hamburger, Henry
Published: (2002)

Teamwork in multi-agent systems a formal approach
by: Dunin-Keplicz, Barbara
Published: (2010)

Parallel logic programming
by: Tick, Evan 1959-
Published: (1991)

Logic and algebra of specification
Published: (1993)

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

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Logic a foundation for computer science
by: Sperschneider, V., et al.
Published: (1991)

Logic programming and knowledge engineering
by: Amble, Tore 1945-
Published: (1987)

An object-oriented approach to programming logic and design
by: Farrell, Joyce
Published: (2013)

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

Modeling and verification of real-time systems formalisms and software tools
Published: (2008)

Automatic syntactic analysis
by: Foster, J. M. John Michael
Published: (1970)

A first course in fuzzy logic
by: Nguyen, Hung T
Published: (2000)

Constraints in computational logics theory and applications proceedings of the ... held on September 5 - 8, 1999
Published: (2001)

Parallelism in logic its potential for performance and program development
by: Kurfess, Franz
Published: (1991)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988)

Constraint logic programming using ECLiPSe
by: Apt, Krzysztof R. 1949-
Published: (2007)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

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

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

Logic for computer science and artificial intelligence
by: Caferra, Ricardo 1945-
Published: (2011)

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

Grammars for programming languages
by: Cleaveland, J. Craig
Published: (1977)

Introduction to languages, machines and logic computable languages, abstract machines and formal logic
by: Parkes, Alan P.
Published: (2002)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

Functional and logic planning proceedings of the ... held March 7-9, 2001
Published: (2001)

Cannot write session to /tmp/vufind_sessions/sess_q7hgif86c0ig5fpse3qc65hilv