Verification of Sequential and Concurrent Programs /
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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1997.
|
| Edition: | Second Edition. |
| Series: | Graduate texts 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