Logic in Computer Science; Modelling and Reasoning About Systems.

By:

Material type:

TextPublication details: UK; Cambridge University Press. 2004.Edition: 2nd edDescription: xiv,427p; ill; 28cmISBN:

Subject(s):

DDC classification:

List(s) this item appears in: Book list

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Short Loan	MUST Main Library	005.115 (Browse shelf(Opens below))	Available	2016-0113

Browsing MUST Main Library shelves Close shelf browser (Hides shelf browser)

Previous				No cover image available No cover image available				Next
Previous	005.1092DUR 2004. The Essential Java Class Reference for Programming.	005.113 BLA 2000. Perl for System Administration.	005.113 BLA 2000. Perl for System Administration.	005.115 Logic in Computer Science;	005.115 HUT 2004 Logic in computer science :	005.115 HUT 2004 Logic in computer science :	005.115 HUT 2004 Logic in computer science :	Next

Notes,Bibliography and index are included.

There are no comments on this title.

to post a comment.