Concurrency Verification Introduction to Compositional and Noncompositional Methods
- Binding: Hardcover
- Publisher: Cambridge Univ Pr
- Publish date: 11/01/2001
Description:
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Please Wait