IMSc Library catalog › Details for: Automated technology for verification and analysis

Normal view MARC view ISBD view

Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings

TextSeries: Lecture Notes in Computer Science; 006252Publication details: 2010; Springer ISBN: 9783642156427Subject(s): Computer Science

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		64308

There are no comments on this title.

to post a comment.