IMSc Library catalog › Details for: Formal Hardware Verification : Methods and Systems in Comparison

Normal view MARC view ISBD view

Formal Hardware Verification : Methods and Systems in Comparison

By: Kropf, Thomas. EdMaterial type: Text

TextSeries: Lecture notes in computer science ; 01287Publication details: Berlin ; Springer ; 1997Description: 367ISBN: 3540634754Subject(s): Hardware 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		37652

Previous								Next
Previous	681 LNCS Structures in Logic and Computer Science	681 LNCS Algorithms - ESA, 1997	681 LNCS Information Security and Privacy	681 LNCS Formal Hardware Verification : Methods and Systems in Comparison	681 LNCS Bioinformatics : german conference, leipzig, germany, 1996l	681 LNCS Randomization and Approximation Techniques in Computer Science : Proceedings, International Workshop, Bologna, 1997	681 LNCS Cryptology - Eurocrypt 1997, Advances in- : Proceedings, International Conference, Konstanz, Germany, 1997	Next

There are no comments on this title.

to post a comment.