INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9781461414278
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-10040
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
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. Kaazmierski, Adam Morawiec, editors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2012.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 254 p.
Other Physical Details
: ill. (some col.)
SERIES
Series Title
(Lecture notes in electrical engineering,1876-1100
Volume Designation
; v. 106.)
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.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
SERIES
Title
Lecture notes in electrical engineering
Volume Number
v. 106
OTHER VARIANT TITLES
Variant Title
FDL 2010
TOPICAL NAME USED AS SUBJECT
Computer hardware description languages--Congresses
Integrated circuits--Very large scale integration--Design and construction--Congresses
Formal methods (Computer science)--Congresses
Software engineering--Congresses
Computer software--Verification--Congresses
Software architecture--Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK7885
.
7
Book number
.
F35
2012
PERSONAL NAME - PRIMARY RESPONSIBILITY
FDL 2010(2010 :Southampton, England)
PERSONAL NAME - SECONDARY RESPONSIBILITY
Kazmierski, Thomas J
Morawiec, Adam
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
E-10040
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
E-10040.pdf
Bits per second
6046674
Contact for access assistance
مختارزاده
Port
97814614142781.jpg
Electronic Format Type
متن
File size
0
Record control number
E-10040
old catalog
e
BL
1
a
Y
