Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Material type: TextSeries: Cambridge tracts in theorerical computer science; 54Publication details: Cambridge ; CUP ; 2001Description: 776pISBN: 0-521-80608-9Subject(s): Concurrency programmesCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 ROE (Browse shelf (Opens below)) | Available | 47869 |
There are no comments on this title.