نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
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
شاپا ي ISSN فروست
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد