Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

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: 307.63 RON
Availability: InStock
Author: Roland Stärk
ISBN: 9783540420880

Definition, Verification, Validation

Roland Stärk

Joachim Schmid

Egon Börger

Limba

engleză

Carte Copertă tare

Codul Libristo: 01563479

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2001

This book provides a high-level description, together with a mathematical and an experimental analys... Descrierea completă

Codul Libristo: 01563479

142 b

307.63 lei

În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Graph Theory Reinhard Diestel

Copertă tare

448.87 lei

Graph Theory and Its Applications Gross

Copertă tare

778.02 lei

Clean Agile Robert C. Martin

Carte broșată

211.49 lei

REST API Design Rulebook Mark Masse

Carte broșată

144.78 lei

1940-1945 Annees Erotiques - Tome 2 Patrick Buisson

Carte broșată

166.91 lei

Le Regionalisme Et Ses Limites Fabien Bottini

Carte broșată

256.90 lei

Batman Chronicles 1990 volume 1

Carte

254.29 lei

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

Copertă tare

59.81 lei

Different. Students. Tom 2 Aleksandra Negrońska

Carte broșată

60.64 lei

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

Carte broșată

85.17 lei

Coloriages mystères - Japon

Carte broșată

110.64 lei

The Legend of Zelda - Art & Artifacts Nintendo

Copertă tare

164.51 lei

Wunder Sieh mich nicht an Palaciová Raquel J.

Carte broșată

55.84 lei

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.)