Verification of Sequential and Concurrent Programs /
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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1991.
|
| Series: | Texts and monographs in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
Search Result 2
Search Result 3
Search Result 4
