An edition of Computer aided verification (2002)

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

1 edition

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Computer Aided Verification by
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
February 2, 2024 | History
Edit
An edition of Computer aided verification (2002)

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

1 edition

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
626

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, Verification, Congresses, Integrated circuits

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Computer Aided Verification
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
2003, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Computer Aided Verification
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
September 24, 2002, Springer
Paperback in English - 1 edition
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
Paperback
Number of pages
626
Dimensions
9.1 x 6.1 x 1.2 inches
Weight
2.2 pounds

ID Numbers

Open Library
OL9429127M
Internet Archive
computeraidedver2002brin
ISBN 10
3540439978
ISBN 13
9783540439974
OCLC/WorldCat
50254571
Goodreads
6299554

Source records

Internet Archive item record
Internet Archive item record
Better World Books record
marc_columbia MARC record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 2, 2024 Edited by ImportBot import existing book
November 15, 2023 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
June 29, 2019 Edited by MARC Bot import existing book
April 30, 2008 Created by an anonymous user Imported from amazon.com record