|
" System specification and design languages "
Tom J. Kaźmierski, Adam Morawiec, editors
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
666611
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
FDL 2010(2010 :, Southampton, England)
|
| Title & Author
|
:
|
System specification and design languages : selected contributions from FDL 2010 /\ Tom J. Kaźmierski, Adam Morawiec, editors
|
| Publication Statement
|
:
|
New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in electrical engineering,; v. 106
|
| Page. NO
|
:
|
1 online resource (xii, 254 p.) :: ill. (some col.)
|
| ISBN
|
:
|
9781461414278 (electronic bk.)
|
|
|
:
|
: 146141427X (electronic bk.)
|
|
|
:
|
9781461414261
|
|
|
:
|
1461414261
|
| Notes
|
:
|
"This book presents a selection of papers from FDL'2010 which was held in Southampton, UK, September 14-16, 2010 ..."--Pref
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references
|
| Subject
|
:
|
Computer hardware description languages, Congresses
|
| Subject
|
:
|
Integrated circuits-- Very large scale integration-- Design and construction, Congresses
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Subject
|
:
|
Software engineering, Congresses
|
| Subject
|
:
|
Computer software-- Verification, Congresses
|
| Subject
|
:
|
Software architecture, Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
TK7885.7.F35 2010eb
|
|
|
:
|
TK7885.7.F35 2010eb
|
| Added Entry
|
:
|
Kazmierski, Thomas J
|
|
|
:
|
Morawiec, Adam
|
| Parallel Title
|
:
|
FDL 2010
|
| |