Produkt
KlappentextOffers a 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.
Zusammenfassung
The first book to provide a rigorous mathematical analysis of Java
Includes supplementary material: sn.pub/extras
The first book to provide a rigorous mathematical analysis of Java
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-540-42088-0
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2001
Erscheinungsdatum20.06.2001
Seiten381 Seiten
SpracheEnglisch
Gewicht726 g
IllustrationenX, 381 p. 13 illus. With online files/update.
Artikel-Nr.11938096
Rubriken