عنوان
پدید آورنده
موضوع
رده
TA168 .I45 2012eb
TA168
.
I45
2012eb
کتابخانه
محل استقرار
شابک
شابک
1848213638
شابک
9781299187078 (MyiLibrary)
شابک
9781848213630
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Industrial use of formal methods
نام عام مواد
[Book]
ساير اطلاعات عنواني
formal verification /
نام نخستين پديدآور
edited by Jean-Louis Boulanger.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Hoboken, N.J. :
نام ناشر، پخش کننده و غيره
Wiley,
تاریخ نشرو بخش و غیره
2012.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xv, 298 p.) :
ساير جزييات
ill.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
MIL
شماره انبار
449957
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9781848213630.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer simulation.
موضوع مستند نشده
Computer software-- Verification.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Nondestructive testing.
موضوع مستند نشده
Systems engineering-- Data processing.
رده بندی ديویی
شماره
005
.
101
ويراست
23
رده بندی کنگره
شماره رده
TA168
نشانه اثر
.
I45
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Boulanger, Jean-Louis.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
MyiLibrary.
مبدا اصلی
تاريخ عمليات
20130225104040.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
