Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Computer Aided Verification

By:

Material type:

TextLanguage: English Series: Lecture Notes in Computer Science; 12224Publication details: Springer International Publishing 2020ISBN:

978-3-030-53287-1
978-3-030-53288-8

Subject(s):

Computer Science

Online resources:

Click here to access online

Item type:

E-Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Print
Cite
Request article
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Rights reserved ©2021 ST. THOMAS COLLEGE LIBRARY
A joint venture of - St. Thomas College Library and
Department of Computer Science, St. Thomas Collge Palai