Image from Amazon.com
Image from Google Jackets
Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004, proceedings
Material type:
TextSeries: Lecture notes in computer science ; 03299Publication details: New York, NY; Springer; 2004.Edition: 1st edDescription: 504ISBN: - 3540236104
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | Available | 53063 |
There are no comments on this title.
Log in to your account to post a comment.