selected contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL '03 Grimm, Christoph. Boston, Mass London Kluwer Academic 2004 367 p. 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) edited by Christoph Grimm. Computer hardware description languages E-Book 621.392 1-4020-7990-7 : 20170207165831.0