Verification of Sequential and Concurrent Programs (Texts in Computer Science)
A scholarly text on verifying sequential and concurrent programs. Key benefit: rigorous methods for correctness. Customer insight notes no derived insights available
Highlights
- sequential and concurrent verification
- texts in computer science series
- multi-author scholarly work
Pros
- clear focus on program verification
- authored by multiple researchers
- suitable for advanced study
- formal treatment of concurrency
Cons
- features: N/A
- no customer-provided insights
- may be dense for beginners
