My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Record 3 of 8
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author Huth, Michael, 1962-

Title Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Published Cambridge : Cambridge University Press, 2000.


Location Call No. Status
 UniM Store Engin  005.131 HUTH    AVAILABLE
Physical description xviii,387p. ; 26 cm.
Bibliography Includes bibliographical references and index.
Other author Ryan, Mark, 1962-
Subject Computer logic.
ISBN 0521652006
0521656028 (pbk.)