Cover Image

Verification of Sequential and Concurrent Programs /

Show other versions (4)

This book provides a structural introduction to program verification. Sequential programs in the form of deterministic and nondeterministic programs, and concurrent programs in the form of parallel and distributed programs, are considered within the context of their partial and total correctness. Wh...

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, 1991.
Series:	Texts and monographs in computer science.
Subjects:	Computer science. Computer software. 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: (1997)

Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)

CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Computability /
by: Weihrauch, Klaus
Published: (1987)

The Collected Works of J. Richard Büchi /
by: Mac Lane, Saunders
Published: (1990)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings /
by: Kirchner, H. (Hélène)
Published: (1996)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

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

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

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994. Proceedings /
by: Enjalbert, P. (Patrice)
Published: (1994)

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)

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)

Collegium Logicum.
Published: (1995)

Collegium Logicum.
Published: (1996)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Sannella, Donald
Published: (1994)

Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 /
by: Paternó, Fabio
Published: (1995)

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics /
by: Blikle, Andrzej
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)