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

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:

9780521670890

Subject(s):

DDC classification:

510.668 HUT

Online resources:

Contents:

1. Propositional logic -- 2. Predicate logic -- 3. Verification by model checking -- 4. Program verification -- 5. Modal logics and agents -- 6. Binary decision diagrams.

Summary: "Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing

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

Average rating: 0.0 (0 votes)

Holdings ( 3 )
Title notes ( 3 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Barcode
Books	IIITDM Kurnool General Stacks	510.668 HUT (Browse shelf(Opens below))	Available	0001649
Books	IIITDM Kurnool General Stacks	510.668HUT (Browse shelf(Opens below))	Available	0001650
Books	IIITDM Kurnool General Stacks	510.668HUT (Browse shelf(Opens below))	Available	0001651

Browsing IIITDM Kurnool shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)

Previous								Next
Previous	509 DAW The magic of reality :	51.62 BIK Engineering Mathematics	510.668HUT Logic in computer science :	510.668HUT Logic in computer science :	510 GRA Higher engineering mathematics	510 GRA Higher engineering mathematics	510 GRA Higher engineering mathematics	Next

1. Propositional logic --
2. Predicate logic --
3. Verification by model checking --
4. Program verification --
5. Modal logics and agents --
6. Binary decision diagrams.

"Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing

Includes bibliographical references (p. 414-417) and index.

There are no comments on this title.

to post a comment.