IMSc Library catalog › Details for: Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004,

Normal view MARC view ISBD view

Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004, proceedings

By: Wang, Farn EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 03299Publication details: New York, NY ; Springer ; 2004Edition: 1st edDescription: 504ISBN: 3540236104

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		53063

There are no comments on this title.

to post a comment.