Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.

Author
CAV (Conference) (7th : 1995 : Liège, Belgium) [Browse]
Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer-Verlag, c1995.
Description
x, 450 p. : ill. ; 24 cm.

Details

Subject(s)
Related name
Series
Lecture notes in computer science ; 939 [More in this series]
Bibliographic references
Includes bibliographical references and index.
Other title(s)
CAV 95
ISBN
3540600450
OCLC
32903576
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view