Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Send
to
SMS
Email
Printer
Bookmark
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
Available Online
Springer Nature - Springer Lecture Notes in Computer Science eBooks
Springer Nature - Springer Book Archive - Springer Computer Science
Copies in the Library
Location
Call Number
Status
Location Service
Notes
ReCAP - Remote Storage
JSE 95-1738
Browse related items
Request
Details
Subject(s)
Computer software
—
Verification
—
Congresses
[Browse]
Electronic digital computers
—
Evaluation
—
Congresses
[Browse]
Related name
Wolper, Pierre
[Browse]
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...
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper, ed.
id
9910087953506421
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings / edited by Pierre Wolper.
id
99125141998206421