//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available |
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 : | 511.3 S253Theory and applications of satisfiability testing : | 511.3 S253Theory and applications of satisfiability testing : |
Includes bibliographical references and index.
Also issued online.
There are no comments for this item.