00910 a2200205 4500 Nust 20170207165831.0 1-4020-7990-7 : (Uk)1402079907 Nust 621.392 Languages for system specification : (E-BOOK) selected contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL '03 / edited by Christoph Grimm. Boston, Mass. ; London : Kluwer Academic, 2004. 367 p. CHDL series 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) Computer hardware description languages E-Book Grimm, Christoph. ddc BK 213312 213312 0 0 ddc 0 0 NFIC MCS MCS 2016-12-12 0 621.392 GRI MCSEB-3303 2016-12-08 2016-12-12 BK