//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
Book | AUM Main Library | 005.131 F723 (Browse Shelf) | Available | JBC/2011/10780 |
005.131Foundations of Information and Knowledge Systems | 005.131Abstract State Machines, Alloy, B and Z | 005.131Transactions on Rough Sets XI | 005.131 F723Formal methods : | 005.131 I612Formal methods for industrial critical systems : | 005.131 L762An introduction to formal languages and automata / |
Includes bibliographical references.
There are no comments for this item.