- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Münster
- (who)
-
Universitäts- und Landesbibliothek Münster
- (when)
-
2004
- Creator
-
Müller, Roger A.
Lembeck, Christoph
Kuchen, Herbert
- URN
-
urn:nbn:de:hbz:6-85659523868
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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
- Müller, Roger A.
- Lembeck, Christoph
- Kuchen, Herbert
- Universitäts- und Landesbibliothek Münster
Time of origin
- 2004
Other Objects (12)
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Java virtual machine, Buch.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
Comparison of concurrency frameworks for the Java virtual machine
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Java program analysis by symbolic execution
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Edge symbolic structures of second generation
Symbolic model generation for graph properties
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Java virtual machine, Buch.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
Comparison of concurrency frameworks for the Java virtual machine
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Java program analysis by symbolic execution
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Edge symbolic structures of second generation
Symbolic model generation for graph properties
GlassTT - a symbolic Java virtual machine using constraint solving techniques for glass box test case generation
Java virtual machine, Buch.
Java virtual machine : Sprache, Konzept, Architektur
The SHAP Microarchitecture and Java Virtual Machine
Formalizing the Java virtual machine in Isabelle-HOL
Comparison of concurrency frameworks for the Java virtual machine
Extending a java virtual machine to dynamic object-oriented languages
Extending a Java Virtual Machine to Dynamic Object-oriented Languages
Java program analysis by symbolic execution
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Edge symbolic structures of second generation