عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
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
کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32910706
-
025
146141427X (electronic bk.)
9781461414278 (electronic bk.)
1461414261
9781461414261
dltt
System specification and design languages
[Book]
selected contributions from FDL 2010 /
Tom J. Kaźmierski, Adam Morawiec, editors
New York :
Springer,
c2012
1 online resource (xii, 254 p.) :
ill. (some col.)
Lecture notes in electrical engineering,
v. 106
1876-1100 ;
"This book presents a selection of papers from FDL'2010 which was held in Southampton, UK, September 14-16, 2010 ..."--Pref
Includes bibliographical references
System specification and design languages.
9781461414261
OhioLINK electronic book center (Online)
SpringerLink
FDL 2010
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
004
.
01/51
23
TK7885
.
7
TK7885
.
7
.
F35
2010eb
.
F35
2010eb
Kazmierski, Thomas J
Morawiec, Adam
FDL 2010(2010 :, Southampton, England)
20120504105705.0
مطالعه متن کتاب
[Book]
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح