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

PRINTED BOOKS
Author Huth, Michael, 1962-

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

Published Cambridge : Cambridge University Press, 2000.

Copies

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.)