| 000 | 00899nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 140223b2004 xxu||||| |||| 00| 0 eng d | ||
| 020 |
_a9781402079900 _c0.00 |
||
| 082 |
_a004.21 _bLAN |
||
| 100 | _aGrimm, Christoph | ||
| 245 | _aLanguages for System Specification: Selected Contributions on UML, Systems C, Systems Verilog, Mixed Signal systems, and property specification from FDL'03 | ||
| 260 |
_aBoston _bKluwer Academic Publishers _c2004 |
||
| 300 | _a357p | ||
| 500 | _aUML Based System Specification and Design C Based System Design Analog and Mixed Signal Systems Languages for Formal Methods Applications and New Languag | ||
| 600 | _aElectronic Engineering | ||
| 890 | _aUK | ||
| 995 |
_ALAN _B003426 _CECE-PG0 _D7597.68 _E0 _F049 _G088297 _H0 _I0.00 _J5508.32 27.5% _L20050617 _M04 _UC _W20050722 _XHimanshu Book Co. _ZReference |
||
| 999 |
_c47172 _d47172 |
||