Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan.

By: Huth, Michael.

Contributor(s): Ryan, Mark.

Material type: Text

TextPublisher: Cambridge : Cambridge University Press , 2004Edition: .Description: xiv,427p. : Ill.,figs. ; 23cm.ISBN: 9780521670890.Subject(s): COMPUTER MODELINGDDC classification: 003.3

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

average rating: 0.0 (0 votes)

Holdings ( 4 )
Title notes
Comments ( 0 )

Item type	Current location	Call number	Copy number	Status	Barcode
Books	Central Library General Stacks	003.3 HUT/L (Browse shelf)	1	Available	109764
Books	Central Library General Stacks	003.3 HUT/L (Browse shelf)	2	Available	109765
Books	Central Library General Stacks	003.3 HUT/L (Browse shelf)	3	Available	110583
Books	Central Library General Stacks	003.3 HUT/L (Browse shelf)	4	Available	110584

Browsing Central Library Shelves , Shelving location: General Stacks Close shelf browser

Previous								Next
Previous	003.3 AOK/O Optimization of stochastic systems : topics in discrete-time dynamics /	003.3 FEW/S System behavior and system modeling /	003.3 HUT/L Logic in computer science : modelling and reasoning about systems /	003.3 HUT/L Logic in computer science : modelling and reasoning about systems /	003.3 HUT/L Logic in computer science : modelling and reasoning about systems /	003.3 HUT/L Logic in computer science : modelling and reasoning about systems /	003.3 JAI/M Modeling and simulation using MATLAB simulink /	Next

Includes bibliography and index

109764 RS795.00

109765

110583

110584

There are no comments for this item.

Central Library , Vidyasagar University

Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan.

By: Huth, Michael.

Contributor(s): Ryan, Mark.

Browsing Central Library Shelves , Shelving location: General Stacks Close shelf browser