Process algebra : J.C.M. Baeten and W.P. Weijland. equational theories of communicating processes
Series: Cambridge tracts in theoretical computer science ; 50Publication details: Cambridge : Cambridge University Press, 2010.Description: xvi, 460 p. ; 26 cmISBN:- 9780521820493 (Hbk)
- 004.0151 B145P 23
- QA267 .B33 1990
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.0151 B145P (Browse shelf(Opens below)) | Not For Loan | Reserve | 8704 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 B145P (Browse shelf(Opens below)) | Available | 8706 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.0151 B145P (Browse shelf(Opens below)) | Available | 8705 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
| 003.54 W64Q2 Quantum information theory | 003.54 Y668I Introduction to quantum cryptography | 004 G75A Automata, logics, and infinite games | 004.0151 B145P Process algebra : | 004.0151 G53F Formal methods for industrial critical systems : | 004.0151 H971L Logic in computer science : | 004.0151 H971L Logic in computer science : |
Includes bibliographical references and indexes.
There are no comments on this title.
Log in to your account to post a comment.