TY  - GEN
AU  - Grimm,Christoph
TI  - Languages for system specification : (E-BOOK): selected contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL '03 
SN  - 1-4020-7990-7 :
U1  - 621.392 
PY  - 2004///
CY  - Boston, Mass., London
PB  - Kluwer Academic
KW  - Computer hardware description languages
KW  - E-Book
N1  - Part 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)
ER  -