| 000 | 00910 a2200205 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207165831.0 | ||
| 020 | _a1-4020-7990-7 : | ||
| 035 | _a(Uk)1402079907 | ||
| 040 | _cNust | ||
| 082 | 0 | 4 | _a621.392 |
| 245 | 1 | 0 |
_aLanguages for system specification : (E-BOOK) _bselected contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL '03 / _cedited by Christoph Grimm. |
| 260 |
_aBoston, Mass. ; _aLondon : _bKluwer Academic, _c2004. |
||
| 300 | _a367 p. | ||
| 440 | 0 | _aCHDL series | |
| 505 | _aPart I UML-Based System Specification & Design (Page-5) Part II C-Based System Design (Page-91) Part III Analog and Mixed-Signal Systems (Page-169) Part IV Languages for Formal Methods (Page-247) Part V Applications and new languages (Page-333) | ||
| 650 | 0 | _aComputer hardware description languages | |
| 651 | _aE-Book | ||
| 700 | 1 | _aGrimm, Christoph. | |
| 942 |
_2ddc _cBK |
||
| 999 |
_c213312 _d213312 |
||