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

Previous								Next
Previous	681 LNCS Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings	681 LNCS Software security: theories and systems	681 LNCS Algorithms and models for the web-graph: third international workshop, WAW 2004, Rome, Italy, October 16, 2004,	681 LNCS Automated technology for verification and analysis: second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004,	681 LNCS Distributed computing: 18th intl. conference; proceedings	681 LNCS Rules and rule markup languages for the semantic web: 3rd international workshop: proceedings	681 LNCS Semantic web: ISWC 2004: 3rd international semantic web conference: Hiroshima, Japan, November 2004: proceedings	Next

There are no comments on this title.

to post a comment.