Languages for System Specification: Selected Contributions on UML, Systems C, Systems Verilog, Mixed Signal systems, and property specification from FDL'03 (Record no. 47172)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00899nam a2200169Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 140223b2004 xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9781402079900 |
Terms of availability | 0.00 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.21 |
Item number | LAN |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Grimm, Christoph |
245 ## - TITLE STATEMENT | |
Title | Languages for System Specification: Selected Contributions on UML, Systems C, Systems Verilog, Mixed Signal systems, and property specification from FDL'03 |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Boston |
Name of publisher, distributor, etc. | Kluwer Academic Publishers |
Date of publication, distribution, etc. | 2004 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 357p |
500 ## - GENERAL NOTE | |
General note | UML Based System Specification and Design C Based System Design Analog and Mixed Signal Systems Languages for Formal Methods Applications and New Languag |
600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
Personal name | Electronic Engineering |
890 ## - | |
-- | UK |
995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
-- | LAN |
-- | 003426 |
-- | ECE-PG0 |
-- | 7597.68 |
-- | 0 |
-- | 049 |
-- | 088297 |
-- | 0 |
-- | 0.00 |
-- | 5508.32 27.5% |
-- | 20050617 |
-- | 04 |
-- | C |
-- | 20050722 |
-- | Himanshu Book Co. |
-- | Reference |
No items available.