عنوان
پدید آورنده
موضوع
رده
QA76.73.J38 R634 2014
QA76
.
73
.
J38
R634
2014
کتابخانه
محل استقرار
شابک
شابک
3642639976
شابک
9783642639975
شماره کتابشناسی ملی
شماره
b571968
عنوان و نام پديدآور
عنوان اصلي
Java and the Java Virtual Machine Definition, Verification, Validation
نام عام مواد
[Book]
نام نخستين پديدآور
Robert F. Stärk ; Joachim Schmid ; Egon Börger
وضعیت ویراست
وضعيت ويراست
Softcover reprint of the original 1st ed. 2001
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin Springer Berlin
تاریخ نشرو بخش و غیره
2014
مشخصات ظاهری
نام خاص و کميت اثر
x, 381 Seiten in 1 Teil 13 schw.-w. Illustrationen, 18 schw.-w. Tabellen 235 x 155 mm
یادداشتهای مربوط به مندرجات
متن يادداشت
1. Introduction.- 1.1 The goals of the book.- 1.2 The contents of the book.- 1.3 Decomposing Java and the JVM.- 1.4 Sources and literature.- 2. Abstract State Machines.- 2.1 ASMs in a nutshell.- 2.2 Mathematical definition of ASMs.- 2.3 Notational conventions.- I. Java.- 3. The imperative core JavaI of Java.- 3.1 Static semantics of JavaI.- 3.2 Transition rules for JavaI.- 4. The procedural extension JavaC of JavaI.- 4.1 Static semantics of JavaC.- 4.2 Transition rules for JavaC.- 5. The object-oriented extension
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
(Produktform)Paperback / softback
موضوع مستند نشده
(Zielgruppe)Fachpublikum/ Wissenschaft
موضوع مستند نشده
(Zielgruppe)Research
رده بندی کنگره
شماره رده
QA76
.
73
.
J38
نشانه اثر
R634
2014
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Robert F. Stärk ; Joachim Schmid ; Egon Börger
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Egon Börger
مستند نام اشخاص تاييد نشده
Joachim Schmid
مستند نام اشخاص تاييد نشده
Robert F Stärk
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
