Menu
Home
Advanced Search
Directory of Libraries
عنوان
System specification and design languages
پدید آورنده
Tom J. Kaźmierski, Adam Morawiec, editors
موضوع
Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده
TK7885
.
7
.
F35
2010eb
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
146141427X (electronic bk.)
(Number (ISBN
9781461414278 (electronic bk.)
Erroneous ISBN
1461414261
Erroneous ISBN
9781461414261
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
System specification and design languages
General Material Designation
[Book]
Other Title Information
selected contributions from FDL 2010 /
First Statement of Responsibility
Tom J. Kaźmierski, Adam Morawiec, editors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 254 p.) :
Other Physical Details
ill. (some col.)
SERIES
Series Title
Lecture notes in electrical engineering,
Volume Designation
v. 106
ISSN of Series
1876-1100 ;
GENERAL NOTES
Text of Note
"This book presents a selection of papers from FDL'2010 which was held in Southampton, UK, September 14-16, 2010 ..."--Pref
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references
OTHER EDITION IN ANOTHER MEDIUM
Title
System specification and design languages.
International Standard Book Number
9781461414261
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FDL 2010
TOPICAL NAME USED AS SUBJECT
Computer hardware description languages, Congresses
Computer software-- Verification, Congresses
Formal methods (Computer science), Congresses
Integrated circuits-- Very large scale integration-- Design and construction, Congresses
Software architecture, Congresses
Software engineering, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7885
.
7
Class number
TK7885
.
7
Book number
.
F35
2010eb
Book number
.
F35
2010eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Kazmierski, Thomas J
Morawiec, Adam
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FDL 2010(2010 :, Southampton, England)
ORIGINATING SOURCE
Date of Transaction
20120504105705.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal