Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems

Material type: materialTypeLabel

BookPublisher: Cambridge: Cambridge University Press, 2010Edition: 2nd ed.Description: xiv, 427 p.; ill.: 25 cm.ISBN: 9780521670890 .Subject(s): Computer logic | Propositional logic | Predicate logic | Logic programming | Binary decision diagrams | Natural deductionDDC classification: 005.1

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.1 HUT (Browse shelf)	Available		026011
Books		005.1 HUT (Browse shelf)	Available		026012

Previous								Next
Previous	005.1 HUN Programming ADO.NET	005.1 HUT Pragmatic programmer : from journeyman to master	005.1 HUT Logic in computer science : modelling and reasoning about systems	005.1 HUT Logic in computer science : modelling and reasoning about systems	005.1 HYD Write great code : understanding the machine. Volume 1	005.1 INC Developing distributed and E-commerce applications	005.1 INC Developing distributed and E-commerce applications	Next

There are no comments for this item.

Koha online