Article Request

Purchase Suggestion

Question Papers

Normal view MARC view ISBD view

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21â€“24, 2020, Proceedings, Part II

Contributor(s):

Lahiri, Shuvendu K.||Wang, Chao

Material type: Text

Text

TextSubject(s):

Software Engineering||Theory of Computation||Artificial Intelligence||Computer Systems Organization and Communication Networks||Computer Hardware||Simulation and Modeling||Computer Engineering and Networks||Computer Science||architecture verification and validation||artificial intelligence||automata theory||computer systems||correlation analysis||distributed computer systems||embedded systems||formal languages||formal logic||linguistics||model checking||programming languages||semantics||software architecture||software design||software quality||verification and validation||Open Access||Computer science||Mathematical theory of computation||Artificial intelligence||Computer networking & communications||Computer hardware||Computer modelling & simulation

Online resources:

Click here to access online

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Books	Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre		Available

English[eng]

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS
More searches

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)