Koha online

HTML5 Icon

Logic in computer science: modelling and reasoning about systems

By: Huth, Michael
Contributor(s): Ryan, Mark
Language: English Publisher: Cambridge Cambridge University Press 2018Edition: 2nd edDescription: xiv, 427pISBN: 9780521543101Subject(s): Computer science | Mathematical logicDDC classification: 005.1015113 HUT/L
Item type Current location Collection Call number Status Date due Barcode
Book Book Central Library
General Stack (Sahyadri Campus) 		005.1015113 HUT/L Checked out 18/04/2024 06639
Book Book Central Library
General Stack (Sahyadri Campus) 		005.1015113 HUT/L Available 06640
Book Book Central Library
General Stack (Sahyadri Campus) 		005.1015113 HUT/L Available 06642
Book Book Central Library
General Stack (Sahyadri Campus) 		005.1015113 HUT/L Available 06641
Reference Reference Central Library
Reference (Sahyadri Campus) 		Reference 005.1015113 HUT/L Not for loan 06638

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.