عنوان
پدید آورنده
موضوع
رده
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
