Research Catalog

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Title: Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).
Author: CAV (Conference) (14th : 2002 : Copenhagen, Denmark)
Publication: Berlin ; New York : Springer, 2002.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 02-1826	Offsite

Details

Additional Authors

Description

xiii, 626 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science ; 2404

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 02-1826

ISBN

3540439978 (pbk.)

OCLC

50254571

Conference

CAV (Conference) (14th : 2002 : Copenhagen, Denmark)

Title

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).

Imprint

Berlin ; New York : Springer, 2002.

Series

Lecture notes in computer science ; 2404

Bibliography

Includes bibliographical references and index.

Added Author

Brinksma, Ed.

Larsen, K. G. (Kim G.), 1957-

Research Call Number

JSE 02-1826

View in Legacy Catalog