//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library | 004.0151 S681 (Browse Shelf) | Available | JBC/2011/11264 |
004.0151 M744Understanding formal methods / | 004.0151 P766Process algebra for parallel and distributed processing / | 004.0151 P766Process algebra for parallel and distributed processing / | 004.0151 S681Software specification methods / | 004.0151 S989Mathematical foundations of computer science 2005 : | 004.0151 S989Mathematical foundations of computer science 2005 : |
Includes bibliographical references and index.
There are no comments for this item.