عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3866448856
شابک
9783866448858
عنوان و نام پديدآور
عنوان اصلي
A Machine-Checked, Type-Safe Model of Java Concurrency :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Language, Virtual Machine, Memory Model, and Verified Compiler /
نام نخستين پديدآور
by Andreas Lochbihler.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Karlsruhe :
نام ناشر، پخش کننده و غيره
KIT Scientific Publishing,
تاریخ نشرو بخش و غیره
2012.
مشخصات ظاهری
نام خاص و کميت اثر
Online-Ressource
یادداشتهای مربوط به پایان نامه ها
متن يادداشت
Zugl.: Karlsruhe, KIT, Diss., 2012.
رده بندی ديویی
شماره
005
.
13
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Lochbihler, Andreas
مبدا اصلی
تاريخ عمليات
20200825060117.0
قواعد فهرست نويسي ( بخش توصيفي )
rakwb
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
