Dynamic logic [electronic resource]

QR Code

Dynamic logic [electronic resource]

Bibliographic Details
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:	Computer logic Formal methods (Computer science)
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)

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)

Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)

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

The logic of knowledge bases [electronic resource]
by: Levesque, Hector J. 1951-, et al.
Published: (2000)

Logic programming
by: Saxton, Liza
Published: (2014)

Logic and objects
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)

Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)

An introduction to logic programming through Prolog
by: Spivey, J. M.
Published: (1996)

UML 2 semantics and applications
by: Lano, Kevin
Published: (2009)

Mathematical aspects of logic programming semantics
by: Hitzler, Pascal, et al.
Published: (2011)

Aristotelian logic and the Arabic language in Alfarabic [electronic resource]
by: Abed, Shukri
Published: (1991)

Logic an introduction
by: Churchill, Robert Paul
Published: (1990)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2000)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (2004)

Logic and computer design fundamentals
by: Mano, M. Morris 1927-, et al.
Published: (1997)

Just enough programming logic and design
by: Farrell, Joyce
Published: (2013)

Sets, logic and maths for computing
by: Makinson, David 1941-
Published: (2012)

The elements of logic
by: Barker, Stephen Francis
Published: (1980)

Logic primer
by: Allen, Colin, et al.
Published: (1992)

Introduction to logic
by: Copi, Irving M.
Published: (1986)

Computability and logic
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)

Logic programming & type theory
by: Singleton, Velva, et al.
Published: (2014)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2006)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2004)

Introduction to logic design
by: Marcovitz, Alan B.
Published: (2005)

Theory of computer science : automata, languages and computation
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)

Introduction to automata theory, languages and computation
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)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2001)

A concise introduction to languages and machines
by: Parkes, Alan
Published: (2007)

Logic in medicine
by: Phillips, Calbert I.
Published: (1995)

A concise introduction to logic
by: Hurley, Patrick J. 1942-
Published: (1984)

Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)

Introduction to logic design
by: Yanushkevich, Svetlana N., et al.
Published: (2008)