IMSc Library catalog › Details for: Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings

Normal view MARC view ISBD view

Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings

TextSeries: Lecture notes in computer science ; 03114Publication details: Berlin ; springer ; 2004Description: 536ISBN: 3540223428

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		52534

							Next
	681 LNCS Information Security and Privacy: 9th Australasian conference, ACISP 2004 Sydney, Australia, July 13-15, 2004 : proceedings	681 LNCS Applications and theory of petri Nets 2004: 25th international conference, ICATPN 2004 Bologna, Italy, June 21-25, 2004: proceedings	681 LNCS Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings	681 LNCS Learning Theory: 17th annual conference on learning theory, COLT 2004 Banff, Canada, July 1-4, 2004: proceedings	681 LNCS Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings	681 LNCS Structural Information and Communication Complexity: 11th international colloquium, SIROCCO 2004 Smolenice Castle, Slowakia, June 21-23, 2004: proceedings	Next

There are no comments on this title.

to post a comment.