Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
Material type: TextLanguage: English Publication details: Berlin: Springer, 2002Edition: 1st edDescription: 398pSubject(s): Compter-Aided designDDC classification: 620.004 202 85Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 620.004 202 85 FO (Browse shelf (Opens below)) | Available | 15016 |
There are no comments on this title.