Process algebra : equational theories of communicating processes
by
Baeten, J. C. M
; Basten, T
; Reniers, M. A
.
Material type: 




Item type | Current location | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
Reference | 004.0151 B145P (Browse shelf) | Not For Loan | Reserve | 8704 | |
![]() |
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
004.0151 B145P (Browse shelf) | Available | 8706 | |||
![]() |
Central Library, IISER Bhopal
OPAC URL: http://webopac.iiserb.ac.in/ |
004.0151 B145P (Browse shelf) | Available | 8705 |
Browsing Central Library, IISER Bhopal Shelves , Shelving location: General Section Close shelf browser
003.54 P257C2 Coding Theorems of Classical and Quantum Information Theory | 003.857 G871D Deep Simplicity: | 004.0151 B145P Process algebra : | 004.0151 B145P Process algebra : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : |
Includes bibliographical references and indexes.
There are no comments for this item.