IMSc Library catalog › Details for: Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings

Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings

TextSeries: Lecture notes in computer science ; 02937Publication details: Berlin ; Springer ; 2004Description: 324ISBN: 3540208038

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		50496

Previous								Next
Previous	681 LNCS Foundations of information and knowledge systems: 3rd international symposium, FOLKS 2004, Austria, February 2004: proceedings	681 LNCS SOFSEM 2004: theory and practice of computer science: 30th conference on current trends in theory and practice of computer science, Merin, January, 2004, proceedings	681 LNCS Theory and applications of satisfiability testing	681 LNCS Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings	681 LNCS Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004.	681 LNCS Probabilistic and statistical methods in cryptology	681 LNCS Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers	Next

There are no comments on this title.

to post a comment.