Article Request

Purchase Suggestion

Question Papers

Normal view MARC view ISBD view

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20â€“23, 2021, Proceedings, Part II

Contributor(s):

Silva, Alexandra||Leino, K. Rustan M

Material type: Text

Text

TextSubject(s):

architecture verification||artificial intelligence||computer programming||distributed computer systems||distributed systems||embedded systems||formal logic||formal methods||formal verifications||model checker||model checking||signal processing||software architecture||software design||software engineering||software quality

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)