//]]>
Item type | Location | Call Number | Status | Notes | Date Due |
---|---|---|---|---|---|
![]() |
AUM Main Library English Collections Hall | 511.3 C456 (Browse Shelf) | Available | JBC/2011/10690 |
![]() |
![]() |
||||||
510.82 S642A source book in mathematics / | 511.3 A164Abstract state machines, Alloy, B And Z : | 511.3 A164Abstract state machines, Alloy, B And Z : | 511.3 C456Mathematical logic / | 511.3 R265A concise introduction to mathematical logic / | 511.3 S253Theory and applications of satisfiability testing : |
Includes index.
There are no comments for this item.