Verification of Sequential and Concurrent Programs / by Krzysztof R. Apt, Ernst-Rüdiger Olderog.

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

Online Access:	Full Text (via Springer)
Main Author:	Apt, Krzysztof R.
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.