Languages for System Specification: Selected Contributions on UML, Systems C, Systems Verilog, Mixed Signal systems, and property specification from FDL'03 (Record no. 47172)

MARC details
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.

© 2025 by NIMA Knowledge Centre, Ahmedabad.
Koha version 24.05