IMSc Library catalog › Details for: Hardware Specification, Verification and Synthesis: Mathematical Aspects

Normal view MARC view ISBD view

Hardware Specification, Verification and Synthesis: Mathematical Aspects Proceedings, Math. Sci.Inst.Workshop, New York, USA, 1989

By: Leeser, M. Ed | Brown, G. EdMaterial type: Text

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		34866

Previous						No cover image available		Next
Previous	681 LNCS Advances in Database Technology - EDBT'90	681 LNCS STACS 90	681 LNCS Graph-Theoretic Concepts in Computer Science	681 LNCS Hardware Specification, Verification and Synthesis: Mathematical Aspects	681 LNCS Computer Aided Systems Theory - EUROCAST '89	681 LNCS Concrete and Abstract Voronoi Diagrams	681 LNCS Advances in Petri Nets 1989	Next

There are no comments on this title.

to post a comment.