منو
رکورد قبلیرکورد بعدی

" Java and the Java Virtual Machine Definition, Verification, Validation "


Document Type : BL
Record Number : 752009
Doc. No : b571968
Main Entry : Robert F. Stärk ; Joachim Schmid ; Egon Börger
Title & Author : Java and the Java Virtual Machine Definition, Verification, Validation\ Robert F. Stärk ; Joachim Schmid ; Egon Börger
Edition Statement : Softcover reprint of the original 1st ed. 2001
Publication Statement : Berlin Springer Berlin, 2014
Page. NO : x, 381 Seiten in 1 Teil 13 schw.-w. Illustrationen, 18 schw.-w. Tabellen 235 x 155 mm
ISBN : 3642639976
: : 9783642639975
Contents : 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
Subject : (Produktform)Paperback / softback
Subject : (Zielgruppe)Fachpublikum/ Wissenschaft
Subject : (Zielgruppe)Research
LC Classification : ‭QA76.73.J38‬‭R634 2014‬
Added Entry : Egon Börger
: Joachim Schmid
: Robert F Stärk
copyhttps://lib.clisel.com/site/catalogue/752009
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟