عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 M368 2004
QA76
.
9
.
F67
M368
2004
کتابخانه
محل استقرار
شابک
شابک
3540231692
شابک
3540302336
شابک
9783540231691
شابک
9783540302339
شماره کتابشناسی ملی
شماره
b565657
عنوان و نام پديدآور
عنوان اصلي
Applying formal methods:
نام عام مواد
[Book]
ساير اطلاعات عنواني
testing, performance and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1 - 2, 2004 ; proceedings
نام نخستين پديدآور
Manuel Núñez ... (ed.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin [u.a.] Springer
تاریخ نشرو بخش و غیره
2004
مشخصات ظاهری
نام خاص و کميت اثر
(XI, 379 S.)
فروست
عنوان فروست
Lecture notes in computer science, 3236
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer Communication Networks
موضوع مستند نشده
Computer science
موضوع مستند نشده
Computer Science
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
M368
2004
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Manuel Núñez ... (ed.)
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
EPEW
مستند نام اشخاص تاييد نشده
FORTE
مستند نام اشخاص تاييد نشده
ITM
مستند نام اشخاص تاييد نشده
Manuel Núñez
مستند نام اشخاص تاييد نشده
TheFormEMC
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
