Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540420880
3540420886
- Extent
-
X, 381 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Keyword
-
Java
Java Virtual Machine
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2001
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:44 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Stärk, Robert F.
- Schmid, Joachim
- Börger, Egon
- Springer
Time of origin
- 2001
Other Objects (12)
Verified Java bytecode verification
Verified Java bytecode verification
Learning Java : [covers Java 1.3, includes CD-ROM]
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Java virtual machine, Buch.
Learning Java : [help for new Java developers ; covers Java 2 SDK 1.4 ; includes CD-ROM]
Deductive verification of safety-critical Java programs
JavaScript-Referenz : [inklusive CD-ROM]
Java virtual machine : Sprache, Konzept, Architektur
ObjectTeams/Java Language Definition - version 1.0
Verified Java bytecode verification
Verified Java bytecode verification
Learning Java : [covers Java 1.3, includes CD-ROM]
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Java virtual machine, Buch.
Learning Java : [help for new Java developers ; covers Java 2 SDK 1.4 ; includes CD-ROM]
Deductive verification of safety-critical Java programs
JavaScript-Referenz : [inklusive CD-ROM]
Java virtual machine : Sprache, Konzept, Architektur
ObjectTeams/Java Language Definition - version 1.0
Verified Java bytecode verification
Verified Java bytecode verification
Learning Java : [covers Java 1.3, includes CD-ROM]
Verification of Java card programs
Verification of JavaCard programs
Verification of Java card programs
Java virtual machine, Buch.
Learning Java : [help for new Java developers ; covers Java 2 SDK 1.4 ; includes CD-ROM]
Deductive verification of safety-critical Java programs
JavaScript-Referenz : [inklusive CD-ROM]
Java virtual machine : Sprache, Konzept, Architektur