.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Java and the Java Virtual Machine
Stark, Robert F.; Schmid, Joachim; Borger, Egon
€ 68.83
FREE Delivery in Ireland
Description for Java and the Java Virtual Machine
Mixed media pr. Offers 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. Num Pages: 381 pages, 13 black & white illustrations, 18 black & white tables, biography. BIC Classification: UMC; UMW; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 733.
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. ... Read more
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. ... Read more
Product Details
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
381
Condition
New
Number of Pages
381
Format
Hardback
Place of Publication
Berlin, Germany
ISBN
9783540420880
SKU
V9783540420880
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Java and the Java Virtual Machine
From the reviews: "A professional Java programmer must know what his program exactly will do, if it is run on a Java Virtual Machine (JVM). To help these professionals, the book presents a mathematical framework using the notation of Abstract State Machines (ASMs). … it is addressed to professional software engineers and to advanced students who require ... Read more