عنوان
پدید آورنده
موضوع
رده
QA76.9.H85 P455 1998
QA76
.
9
.
H85
P455
1998
کتابخانه
محل استقرار
شابک
شابک
3540761586
شابک
9783540761587
شماره کتابشناسی ملی
شماره
b547359
عنوان و نام پديدآور
عنوان اصلي
Formal methods in human-computer interaction
نام عام مواد
[Book]
نام نخستين پديدآور
Philippe Palanque and Fabio Paternò (eds).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer, cop.
تاریخ نشرو بخش و غیره
1998
مشخصات ظاهری
نام خاص و کميت اثر
xvii, 376 s. ill. 24 cm
فروست
عنوان فروست
Formal approaches to computing and information technology
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Användargränssnitt.
موضوع مستند نشده
Människa-dator-interaktion.
رده بندی کنگره
شماره رده
QA76
.
9
.
H85
نشانه اثر
P455
1998
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Philippe Palanque and Fabio Paternò (eds).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Fabio Paternò
مستند نام اشخاص تاييد نشده
Philippe Palanque
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
