Logic in computer science : modelling and reasoning about systems /
By: Huth, Michael
Title By: Ryan, Mark
Material type:
BookPublisher: Cambridge, [England] ; New York : Cambridge University Press, 2000.Description: xviii, 387 p. : ill ; 25 cm.ISBN: 0521652006; 0521656028 (pbk.)Program: CSCI325Subject(s): Computer logicDDC classification: 003.3 Online resources: Location Map
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| REGULAR | University of Wollongong in Dubai Main Collection | 003.3 HU LO (Browse shelf) | Available | T0020646 |
Total holds: 0
, Shelving location: Main Collection Close shelf browser
|
|
|
|
|
|
|
||
| 003 TE SY System analysis design UML version 2.0 : | 003 WA DE Designing thriving systems : | 003.2 KU SI The singularity is near : | 003.3 HU LO Logic in computer science : | 003.3 LE DI Discrete-event simulation : | 003.3 RA MO Modeling and simulation : | 003.3 RO SI Simulation : |
Includes bibliographical references (p. 375-377).
CSCI325