1
0
0
(1 - 18 von 20
)
Untersuchungen zu fokussierenden Widerstandsmessanordnungen in der Rohrlochmessung
von Cornelia Pusch, Dt. V. Grundstoffind., L.Broschiert
Theory JVMExecInstr (Isabelle2019: June 2019)
www.cl.cam.ac.uk
Title: HOL/MicroJava/JVM/JVMExecInstr.thy Author: Cornelia Pusch, Gerwin Klein Copyright Technische Universitaet Muenchen *) section ‹JVM Instruction ...
Computer Aided Verification: 13th International Conference, CAV 2001,...
books.google.ae
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July...
JIT’98 Java-Informations-Tage 1998: Frankfurt/Main, November...
books.google.com.ua
Anwendungsbezogen und entwicklungsorientiert wird in diesem Band die Java-Technologie diskutiert. Ausgehend von praktischen Erfahrungen diskutieren die Autoren...
Theorem Proving in Higher Order Logics: 16th International Conference...
books.google.com.ua
OurownworkisbasedontheworkdescribedinFormalizingtheJavaVirtualMachine in Isabelle/HOL [11], in which Cornelia Pusch details her formalization of the ...
Tools and Algorithms for the Construction of Analysis of Systems: 5th...
books.google.com.ua
Addison-Wesley, Tobias Nipkow, David von Oheimb, and Cornelia Pusch. Project Bali. http://www.in.tum.de/~isabelle/bali/. David von Oheimb and Tobias ...
Eigenschaftsorientierte Beschreibung der logischen Architektur...
books.google.de
David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise...
Informatik: Eine grundlegende Einführung, Teil IV. Theoretische...
books.google.de
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen,...
Computer Aided Verification: ... International Conference, CAV
books.google.de
Tobias Nipkow, David von Oheimb, and Cornelia Pusch. μJava: Embedding a programming language in a theorem prover. In Friedrich L. Bauer and Ralf Steinbr ...
Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen...
books.google.de
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten...
Fundamental Approaches to Software Engineering: Second International...
books.google.de
Acknowledgment We thank Javier Esparza, David von Oheimb, Cornelia Pusch and Markus Wenzel for the very helpful discussions, and two anonymous ...
Logic for Programming, Artificial Intelligence, and Reasoning: 9th...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002,...
Smart Card Programming and Security: International Conference on...
books.google.de
The E-smart international conference on research in smart cards was held in Cannes, France on 19–21 September. The conference was jointlyorganized bythe...
UML The Unified Modeling Language: Model Engineering,...
books.google.de
204 [14] Tobias Nipkow, David von Oheimb, and Cornelia Pusch. μJava: Embedding a programming language in a theorem prover. In Friedrich L. Bauer and ...
Formalizing the Java Virtual Machine in Isabelle-HOL - Cornelia Pusch...
books.google.de
Formalizing the Java Virtual Machine in Isabelle-HOL. Front Cover. Cornelia Pusch. Inst. für Informatik, pages. 0 Reviews ...
Theoretical Aspects of Com…ng - ICTAC 2005: Second International...
books.google.de
Tobias Nipkow, David von Oheimb and Cornelia Pusch. μJava: Embedding a Programming Language in a Theorem Prover. In Foundations of Secure ...
Untersuchungen zu fokussierenden Widerstandsmessanordnungen in der...
books.google.de
... Widerstandsmessanordnungen in der Bohrlochmessung. Front Cover. Cornelia Pusch. Deutscher Verlag für Grundstoffindustrie, Electric logging
Verwandte Suchanfragen zu Cornelia Pusch
Gerwin Klein Norbert Schirmer Martin Strecker | Cornelia Jahn Marie Brauch Albert Pusch | Conny Pusch |
Person "Pusch" (14) Vorname "Cornelia" (25578) Name "Pusch" (1002) |
sortiert nach Relevanz / Datum