Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Java and the Java Virtual Machine

Name: Java and the Java Virtual Machine
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563479
Price: 247.94 PLN
Availability: InStock
Author: Roland Stärk
ISBN: 9783540420880

Definition, Verification, Validation

Roland Stärk

Joachim Schmid

Egon Börger

Język

Angielski

Książka Twarda

Kod Libristo: 01563479

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2001

This book provides a high-level description, together with a mathematical and an experimental analys... Cały opis

Kod Libristo: 01563479

142 b

Gwarancja
najlepszej
ceny ▸

247.94 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Graph Theory Reinhard Diestel

Twarda

361.78 zł

Graph Theory and Its Applications Gross

Twarda

600.50 zł

Clean Agile Robert C. Martin

Miękka

161.01 zł

REST API Design Rulebook Mark Masse

Miękka

111.42 zł

1940-1945 Annees Erotiques - Tome 2 Patrick Buisson

Miękka

134.61 zł

Le Regionalisme Et Ses Limites Fabien Bottini

Miękka

196.75 zł

Batman Chronicles 1990 volume 1

Książka

204.98 zł

Les Aventures de Tintin. L'île noire Hergé

Twarda

45.36 zł

Different. Students. Tom 2 Aleksandra Negrońska

Miękka

43.06 zł

El Viaje de Los Colibríes / The Journey of the Hummingbirds Zurita

Miękka

68.65 zł

Coloriages mystères - Japon

Miękka

89.13 zł

The Legend of Zelda - Art & Artifacts Nintendo

Twarda

124.97 zł

Wunder Sieh mich nicht an Palaciová Raquel J.

Miękka

42.55 zł

This book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components. It comes with a natural executable refinement which can be used for testing code. The method developed for this purpose is based on Abstract State Machines (ASMs) and can be applied to other virtual machines and to other programming languages as well. The book is written for advanced students and for professionals and practitioners in research and development who need a complete and transparent definition and an executable model of the language and of the virtual machine underlying its intended implementation.§"The Jbook gives the most comprehensive and consistent formal account of the combination of Java and the JVM." (Pieter Hartel and Luc Moreau in Formalizing the Safety of Java, the Java Virtual Machine and Java Card, ACM Computing Surveys, 33(4):517-558, 2001. Section 6.2, page 540.)