Cover Image

Verification of Sequential and Concurrent Programs /

Show other versions (4)

Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount importance. A major challenger for computer science is to develop methods that ensure program correctness. This textbook provides...

Full description

Bibliographic Details
Main Author:	Apt, Krzysztof R.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Olderog, E.-R
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1997.
Edition:	Second Edition.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Current Trends in Concurrency : Overviews and Tutorials /
by: Bakker, Jacobus W. de
Published: (1986)

Temporal Logic of Programs /
by: Kröger, Fred
Published: (1987)

Predicate Calculus and Program Semantics /
by: Dijkstra, Edsger W.
Published: (1990)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 /
by: Clement, Timothy Paul
Published: (1992)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
by: Deville, Yves
Published: (1994)

Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)

Deontic logic, agency and normative systems ΔEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 /
by: Brown, Mark A.
Published: (1996)

Computational Logic : Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997 /
by: Berger, Ulrich
Published: (1999)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

Beauty Is Our Business : a Birthday Salute to Edsger W. Dijkstra /
by: Feijen, W. H. J.
Published: (1990)

Modal and Temporal Properties of Processes /
by: Stirling, Colin
Published: (2001)

Advanced Topics in Term Rewriting /
by: Ohlebusch, Enno
Published: (2002)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement /
by: Broy, Manfred
Published: (2001)

Logics of Programs : Brooklyn, June 17-19, 1985 /
by: Parikh, Rohit
Published: (1985)

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings /
by: Melton, Austin
Published: (1986)

CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings /
by: Best, Eike
Published: (1993)

The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings /
Published: (1985)

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987. Proceedings /
by: Main, Michael
Published: (1988)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Digital Circuit Design for Computer Science Students : an Introductory Textbook /
by: Wirth, Niklaus
Published: (1995)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Fairness /
by: Francez, Nissim
Published: (1986)

Computing in Horn Clause Theories /
by: Padawitz, Peter
Published: (1988)

Specification of Software Systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)

Algebraic Specifications in Software Engineering : an Introduction /
by: Horebeek, Ivo
Published: (1989)

Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
by: Nicholls, J. E.
Published: (1992)