Cover of: Computer Aided Verification by Hana Chockler, Georg Weissenbacher
An edition of Computer Aided Verification (2018)

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I

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

Buy this book

When you buy books using these links the Internet Archive may earn a small commission.

Last edited by ImportBot
October 7, 2021 | History
An edition of Computer Aided Verification (2018)

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Publish Date
Publisher
Springer
Pages
722

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

Book Details


Edition Notes

Source title: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... I (Lecture Notes in Computer Science (10981))

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Format
paperback
Number of pages
722

ID Numbers

Open Library
OL28200778M
ISBN 10
3319961446
ISBN 13
9783319961446

Community Reviews (0)

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

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 7, 2021 Edited by ImportBot import existing book
June 5, 2020 Created by ImportBot Imported from amazon.com record.