IMSc Library catalog › Details for: 8th International Conference on computer aided verification

Normal view MARC view ISBD view

8th International Conference on computer aided verification Proceedings, New Brunswick, NJ, USA, 1996

TextSeries: Lecture notes in computer science ; 01102Publication details: Berlin ; Springer ; 1996Description: 472ISBN: 3540614745Subject(s): Computer Aided Verification

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		37364

Previous								Next
Previous	681 LNCS Concurrency Theory, 7th International Conference on-	681 LNCS Logics in Artificial Intelligence, European Workshop on	681 LNCS Information Theory and Applications II, Fourth Canadian Workshop on-	681 LNCS 8th International Conference on computer aided verification	681 LNCS Partial evaluation, international seminar on	681 LNCS Artificial Intelligence and Symbolic Mathematical Computation, International Conference on-	681 LNCS Rewriting Techniques and Applications	Next

There are no comments on this title.

to post a comment.