Image from Amazon.com
Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings
Material type:
TextSeries: Lecture notes in computer science ; 03114Publication details: Berlin; springer; 2004Description: 536ISBN: - 3540223428
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681 LNCS (Browse shelf(Opens below)) | Available | 52534 |
There are no comments on this title.
Log in to your account to post a comment.