Amazon cover image
Image from Amazon.com

Computer Aided Verification

By: Material type: TextLanguage: English Series: Lecture Notes in Computer Science; 12225Publication details: Springer International Publishing 2020ISBN:
  • 978-3-030-53290-1
  • 978-3-030-53291-8
Subject(s): Online resources:
Item type: E-Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close
Rights reserved ©2021 ST. THOMAS COLLEGE LIBRARY
A joint venture of - St. Thomas College Library and
Department of Computer Science, St. Thomas Collge Palai