Items related to Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings - Softcover

 
9783030393236: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2020
  • ISBN 10 3030393232
  • ISBN 13 9783030393236
  • BindingPaperback
  • LanguageEnglish
  • Number of pages488
  • EditorBeyer Dirk, Zufferey Damien

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783030393212: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990)

Featured Edition

ISBN 10:  3030393216 ISBN 13:  9783030393212
Publisher: Springer, 2020
Softcover