Cornelia Pusch und Author - Info zur Person

(1 - 16 von 17

)

joachimbreitner / Archive of Formal Proofs - Code / [0a5222]...

sourceforge.net

Author: Cornelia Pusch, Gerwin Klein. Copyright Technische Universitaet Muenchen. *). header {*. \chapter{Jinja Virtual Machine}\label{cha:jvm}.

Java - formal fundiert

isabelle.in.tum.de

Author(s): David von Oheimb and Cornelia Pusch Year: Publisher: Springer Series: Informatik Aktuell Editor: C. H. Cap CR Classification: D.3.1, F. 3.2

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 ...

List of Authors

ecatalog.dcc.edu.sa

... Corinne AugÃ©-Gouillou Corley Holbrook C Corley Susan M. Corliss Amy B. Cormac Flanagan Cormac J. Sreenan Cormac John Sreenan Cornejo Loza Cornel Pater Cornelia Pusch

Untersuchungen zu fokussierenden Widerstandsmessanordnungen in der...

books.google.de

Author, Cornelia Pusch. Publisher, Deutscher Verlag für Grundstoffindustrie, ISBNLength, 101 pages. Export Citation ...

Alle Infos zum Namen "Cornelia Pusch"

AFP: diff thys/AVL-Trees/AVL.thy

cl2-informatik.uibk.ac.at

:44:18 makarius Exp $ 1.6 + ID: $Id: AVL.thy,v :34:05 fhaftmann Exp $ 1.7 Author: Tobias Nipkow and Cornelia Pusch, ...

AFP: diff thys/Jinja/JVM/JVMExec.thy

cl2-informatik.uibk.ac.at

... $Id: JVMExec.thy,v :57:20 lsf37 Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen

AFP: diff thys/Jinja/JVM/JVMExecInstr.thy

cl2-informatik.uibk.ac.at

... + ID: $Id: JVMExecInstr.thy,v :07:44 fhaftmann Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet ...

AFP: diff thys/Jinja/BV/BVSpecTypeSafe.thy

cl2-informatik.uibk.ac.at

... BVSpecTypeSafe.thy,v :25:20 lsf37 Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen ...

AFP: diff thys/Jinja/JVM/JVMState.thy

cl2-informatik.uibk.ac.at

... $Id: JVMState.thy,v :21:47 makarius Exp $ 1.7 Author: Cornelia Pusch, Gerwin Klein 1.8 Copyright Technische Universitaet Muenchen ...

Theory BVSpec (Isabelle repository version)

www.cse.unsw.edu.au

Title: HOL/MicroJava/BV/BVSpec.thy ID: $Id: BVSpec.html,v :12:09 kleing Exp $ Author: Cornelia Pusch, Gerwin Klein Copyright

Theory JVMExecInstr (Isabelle2007: November 2007)

dalila.sip.ucm.es

Title: HOL/MicroJava/JVM/JVMExecInstr.thy ID: $Id: JVMExecInstr.thy,v :58:14 kleing Exp $ Author: Cornelia Pusch, Gerwin Klein ...

Theory JVMState (Isabelle repository version)

doclsf.de

Title: HOL/MicroJava/JVM/JVMState.thy ID: $Id: JVMState.html,v :11:18 kleing Exp $ Author: Cornelia Pusch, Gerwin Klein Copyright

µJava: Embedding a Programming Language in a Theorem Prover

david.von-oheimb.de

Author(s): Tobias Nipkow, David von Oheimb, Cornelia Pusch Year: Publisher: IOS Press Editor: Friedrich L. Bauer and Ralf Steinbrüggen CR Classification: D.3.1

Java - formal fundiert

david.von-oheimb.de

@inproceedings{Oheimb-Pusch-JavaDays98, author = {David von Oheimb and Cornelia Pusch}, title = {Java -- formal fundiert}, booktitle = {{JIT'98} ...

AVL Trees - Archive of Formal Proofs

www.isa-afp.org

Title: AVL Trees: Author: Tobias Nipkow and Cornelia Pusch: Submission date: : Abstract: Two formalizations of AVL trees with room for extensions.

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

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Cornelia Pusch und Author Person-Info