Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 / E. M. Clarke, R. P. Kurshan, editors.

By:

(2nd : CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)

Contributor(s):

Material type: Text

TextSeries: DIMACS series in discrete mathematics and theoretical computer science ; v. 3.Publication details: Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.Description: xii, 628 p. : ill. ; 27 cmISBN:

0821865943 (AMS : alk. paper)
0897913868 (ACM : alk. paper)

Subject(s):

DDC classification:

621.3815 20 CLC

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	Barcode
Books	Library, Institute of Information and Communication Technology General Stacks	621.3815 CLC (Browse shelf(Opens below))	1	Available	I000313
Books	Library, Institute of Information and Communication Technology General Stacks	621.3815 CLC (Browse shelf(Opens below))	2	Available	I000312
Books	Library, Institute of Information and Communication Technology General Stacks	621.3815 CLC (Browse shelf(Opens below))	3	Available	I000311

"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso.

Includes bibliographical references.

There are no comments on this title.

to post a comment.