- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Ulm, Universität Ulm, Bachelorarbeit, 2013
- Klassifikation
-
Informatik
- Schlagwort
-
Java Virtual Machine
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2015
- Urheber
-
Kühner, Thomas
- URN
-
urn:nbn:de:bsz:289-vts-88003
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kühner, Thomas
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2015
Ähnliche Objekte (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.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Lecture Notes : Concurrency Topics in Java
Formalizing the Java virtual machine in Isabelle-HOL
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
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.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Lecture Notes : Concurrency Topics in Java
Formalizing the Java virtual machine in Isabelle-HOL
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
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.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Lecture Notes : Concurrency Topics in Java
Formalizing the Java virtual machine in Isabelle-HOL
Synchronous Java : light-weight, deterministic concurrency and preemption in Java.
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