Computer aided verification : 26th international conference, CAV, held as part of the vienna summer of logic, VSL, Vienna, Austria, July 18-22, 2014 (e-book)
Language: English Series: Lecture notes in computer science ; v.8559Publication details: Berlin ; Springer ; 2014Edition: Description: ; ISBN: 978-3-319-08867-9Subject(s): | Computer Science and Engineering | Computer software-Verification-Congresses , Integrated circuits-Verification-CongressesOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E-Books | Central Library, IITB | Link to resource | Not for loan | EBK3341 |
Total holds: 0
There are no comments on this title.