IMSc Library catalog › Results of search for 'su:"Computer Aided Verification"'

Your search returned 4 results.

Not what you expected? Check for suggestions

			Computer Aided Verification : 5th International conference, CAV,93, Elounda, Greece, June/July 1993, Proceedings by Courcoubetis, Costas, Ed. Series: Lecture notes in computer science ; 00697Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS. Place hold Log in to add tags
			8th International Conference on computer aided verification Proceedings, New Brunswick, NJ, USA, 1996 by Alur, Rajeev. Ed \| Henzinger, Thomas A. Ed. Series: Lecture notes in computer science ; 01102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 18 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification : Proceedings, 11th International Conference, CAV'99, Trento, 1999 by Halbwachs, Nicolas. Ed \| Peled, Doron. Ed. Series: Lecture notes in computer science ; 01633Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS. Place hold Log in to add tags
			Computer Aided Verification, Proceedings of the 12th International Conference, Chicago, 2000 by Emerson, E Allen. Ed \| Sistla, A Prasad. Ed. Series: Lecture notes in computer science ; 01855Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha