This book is currently unavailable on Open Library, check out available alternatives.
An edition of Computer Aided Verification (2012)

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

by

Cover of: Computer Aided Verification by P. Madhusudan, P. Madhusudan
Computer Aided Verification by P. Madhusudan, P. Madhusudan
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
June 29, 2019 | History
Edit
An edition of Computer Aided Verification (2012)

Computer Aided Verification

24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

by

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

Publish Date
Publisher
Springer Berlin Heidelberg
Language
English

Subjects

Mathematical Logic and Formal Languages Software engineering Computer input-output equipment Computers Logic design Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Computer science Artificial intelligence Special Purpose and Application-Based Systems
Edition Availability
Cover of: Computer Aided Verification
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
2012, Springer Berlin Heidelberg
electronic resource : in English
  • Nearby Libraries

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7358

Classifications

Dewey Decimal Class
005.1015113
Library of Congress
QA76.9.L63, QA76.5913, QA76.63, QA75.5-76.95

The Physical Object

Format
[electronic resource] :

Edition Identifiers

Open Library
OL27026047M
ISBN 13
9783642314247

Work Identifiers

Work ID
OL19836480W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON