Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems

By: Huth, MichaelContributor(s): Ryan, MarkMaterial type: Text

TextPublication details: New Delhi: Cambridge University Press, 2001Edition: 2nd edDescription: xiii, 427 pISBN: 9780521670890Subject(s): Computer science | LogicDDC classification: 005.115 HUT

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 10 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Barcode
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	5317
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	5318
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	5319
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	5320
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3556
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3557
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3558
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3559
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3560
Engineering Books	Presidency University Library	Non-Fiction	Computer Science Engineering	005.115 HUT (Browse shelf(Opens below))	Available	3608

Browsing Presidency University Library shelves, Shelving location: Computer Science Engineering, Collection: Non-Fiction Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.114 VAL Scala programming projects : build real World projects using popular Scala frameworks like Play, Akka, and Spark	005.115 HUT Logic in computer science : modelling and reasoning about systems	005.115 HUT Logic in computer science : modelling and reasoning about systems	005.115 HUT Logic in computer science : modelling and reasoning about systems	005.115 HUT Logic in computer science : modelling and reasoning about systems	005.115 HUT Logic in computer science : modelling and reasoning about systems	005.115 HUT Logic in computer science : modelling and reasoning about systems	Next

There are no comments on this title.

to post a comment.