//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library English Collections Hall | 004.0151 K792 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 004.0151 K792 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 004.0151 K792 (Browse Shelf) | Available |
004.0151 F723Formal techniques for networked and distributed systems, FORTE 2003 : | 004.0151 F743Discrete mathematics for computer science : | 004.0151 K792Information algebras : | 004.0151 K792Information algebras : | 004.0151 K792Information algebras : | 004.0151 M744Understanding formal methods / |
Includes bibliographical references (p. [251]-255) and index.
There are no comments for this item.