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

Notes,Bibliography and index are included.

There are no comments on this title.

to post a comment.