Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321)
Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1989Edition: Description: vi,272 p; 24 cmISBN: 3-540-50845-71Subject(s): | Programming languages(Electronic Computers)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06 Zwi | Available | G56A01 | 152925 |
Total holds: 0
There are no comments on this title.