Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla

By:

Contributor(s):

Material type: Text

TextPublication details: New York : Springer, c2000.Description: x, 582p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Also issued online.

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Books	Library, Institute of Information and Communication Technology General Stacks	004.24 COM (Browse shelf(Opens below))	1	Available		I000013
Books	Library, Institute of Information and Communication Technology General Stacks	004.24 COM (Browse shelf(Opens below))	2	Available		I000014

Includes bibliographical references and index.

Also issued online.

There are no comments on this title.

to post a comment.