- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Universität Ulm, Bachelorarbeit, 2013
- Classification
-
Informatik
- Keyword
-
Java Virtual Machine
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2015
- Creator
-
Kühner, Thomas
- URN
-
urn:nbn:de:bsz:289-vts-88003
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM 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
- Kühner, Thomas
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2015
Other Objects (12)
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Java virtual machine, Buch.
Lecture Notes : Concurrency Topics in Java
Java virtual machine : Sprache, Konzept, Architektur
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
A Symbolic Java Virtual Machine for Test Case Generation
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Java virtual machine, Buch.
Lecture Notes : Concurrency Topics in Java
Java virtual machine : Sprache, Konzept, Architektur
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
A Symbolic Java Virtual Machine for Test Case Generation
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Java virtual machine, Buch.
Lecture Notes : Concurrency Topics in Java
Java virtual machine : Sprache, Konzept, Architektur
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
A Symbolic Java Virtual Machine for Test Case Generation
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages