عنوان
پدید آورنده
موضوع
رده
QA76.76.T48 M374 2013
QA76
.
76
.
T48
M374
2013
کتابخانه
محل استقرار
شابک
شابک
3642389163
شابک
9783642389160
شماره کتابشناسی ملی
شماره
b568035
عنوان و نام پديدآور
عنوان اصلي
Tests and proofs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
نام نخستين پديدآور
Margus Veanes, Luca Viganò (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer, cop.
تاریخ نشرو بخش و غیره
2013
فروست
عنوان فروست
Lecture notes in computer science, 7942; LNCS sublibrary. SL 2, Programming and software engineering
يادداشت کلی
متن يادداشت
International conference proceedings.Includes author index.Includes bibliographical references and index.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
TAP 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Génie logiciel.
موضوع مستند نشده
Logiciels.
رده بندی کنگره
شماره رده
QA76
.
76
.
T48
نشانه اثر
M374
2013
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Margus Veanes, Luca Viganò (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Luca Viganò
مستند نام اشخاص تاييد نشده
Margus Veanes
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
