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.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageJSE 95-1738 Browse related items Request

    Details

    Subject(s)
    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
    RCP
    N - O
    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...