Amazon cover image
Image from Amazon.com

Computer Aided Verification

By: Material type: TextLanguage: English Series: Lecture Notes in Computer Science; 11562Publication details: Springer International Publishing 2019ISBN:
  • 978-3-030-25542-8
  • 978-3-030-25543-5
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.
Rights reserved ©2021 ST. THOMAS COLLEGE LIBRARY
A joint venture of - St. Thomas College Library and
Department of Computer Science, St. Thomas Collge Palai