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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1991.
|
| Series: | Texts and monographs in computer science.
|
| Subjects: |
Search Result 1
Verification of sequential and concurrent programs
Published 2009
Full Text (via Springer)
Electronic
eBook
Search Result 2
Search Result 3
Search Result 4
