Opening book details…
Can I read Java and the Java Virtual Machine 1 on EtoBox?
Java and the Java Virtual Machine 1 by Robert F. Stärk; Joachim Schmid; Egon Börger is a computer science book available to read on EtoBox.
What is Java and the Java Virtual Machine 1 about?
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 v
Who reads Java and the Java Virtual Machine 1?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Robert F. Stärk; Joachim Schmid; Egon Börger
- Publisher
- Springer Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9783642639975
- Category
- computer science
- Subjects
- Engineering, Computer Science, Technology
- Updated
- 2026-03-24
Other editions & translations
More by Robert F. Stärk; Joachim Schmid; Egon Börger
Browse all works by Robert F. Stärk; Joachim Schmid; Egon Börger
Similar books
- Java and the Java Virtual Machine : Definition, Verification, Validation — Prof. Dr. Robert F. Stärk, Dipl.-Inf. Joachim Schmid, Prof. Dr. Egon Börger (auth.) (2001)
- The Java virtual machine specification: Java SE — Gosling, James; Joy, Bill; Steele, Guy L., Jr.; Bracha, Gilad; Buckley, Alex (2013)
- Java Virtual Machine — Jon Meyer, Troy Downing, Andrew Shulmann (1997)
- The Java Virtual Machine Specification — Lindholm, Tim, 1961-; Yellin, Frank, 1958- (1997)
- Programming for the Java(TM) Virtual Machine — Joshua Engel (1999)
- Mastering the Java Virtual Machine — Otàvio Santana (2024)