IMSc Library catalog › Details for: Formal Methods in Computer-Aided Design, First International Conference on-

Normal view MARC view ISBD view

Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996

TextSeries: Lecture notes in computer science ; 01166Publication details: Berlin ; Springer ; 1997Description: 467ISBN: 3540619372Subject(s): Computer-Aided Design

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		37371

Previous								Next
Previous	681 LNCS Algorithms - ESA '96	681 LNCS Logic in Databases, International Workshop on-	681 LNCS Hybrid and Real-Time Systems, International Workshop-	681 LNCS Formal Methods in Computer-Aided Design, First International Conference on-	681 LNCS Nonmonotonic Logics	681 LNCS Security Protocols, International Workshop on-	681 LNCS Concurrency Theory, 7th International Conference on-	Next

There are no comments on this title.

to post a comment.