Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying
Material type:
TextLanguage: English Publication details: New York Springer-Verlag 2001Description: viii, 220pISBN: - 0387950923 (hbd)
- D65,8(B):51, P1
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | D65,8(B):51 P1 (Browse shelf(Opens below)) | Available | SL1177698 |
Bibliographical references 213-218p; Index 219-220p; ^n23/CSL/B/2002-2003/204^d2002-07-15^mPurchase; ; 2002-03/143^b2002-08-13^c2125^d2002-08-05^eRs.9,606.00^fOverseas Press (India)Pvt. Ltd.; ; 2002-10-08^bSB^c2003-07-04^dRPS
There are no comments on this title.
Log in to your account to post a comment.