//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library | 005.131 L762 (Browse Shelf) | Available | JBC/2013/2373 | |
Book | AUM Main Library | 005.131 L762 (Browse Shelf) | Available | JBC/2013/2373 |
005.131 F723Formal methods : | 005.131 I612Formal methods for industrial critical systems : | 005.131 L762An introduction to formal languages and automata / | 005.131 L762An introduction to formal languages and automata / | 005.133 A219Alice in action with Java / | 005.133 A219Alice in action with Java / |
Includes bibliographical references (p. 431) and index.
There are no comments for this item.