Detlef Schwier und Harald - Info zur Person

(1 - 13 von 13

)

SCEAS

sceas.csd.auth.gr

Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner The TYPELAB Specification and ...

Leading Edge Computer Science Researchbooks.google.com › books

books.google.de

[vHDRS95] Friedrich W. von Henke, Axel Dold, Harald Rues, and Detlef Schwier. Construction and deduction methods for the formal development of software.

[PDF] Typelab: An Environment for Modular Program Developmenttypeset.io › pdf

typeset.io

influenced by Holger Pfeifer, Harald Ruet3 and Detlef Schwier. Matthias Wagner. Page has contributed a lot to the infrastructure and has implemented ...

Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and Deduction Methods for the Formal Development of Software. KORSO Book 1995: Coauthor Index. see FAQ. What is the meaning of the colors in the coauthor index? How does dblp detect coauthor communities? 1. Lacramioara Astefanoaei. 2. Leo Bachmair Saddek Bensalem. 4. Tewodros A. Beyene. 5. Jan Olaf ...

Friedrich W. von Henke - DBLPdblp.org › Persons

dblp.org

· ... Detlef Schwier, Martin Strecker, Matthias Wagner: The TYPELAB ... von Henke, Axel Dold, Harald Rueß, Detlef Schwier: Construction and ...

Geometry.Net - Science: Temporal Logic

www.geometry.net

Dr. Bernhard Nebel -freiburg.de joined Univ. of Freiburg Stephan Pfab Dr. Harald .com joined SRI International, Menlo Park, CA Dr. Jussi Rintanen -freiburg.de joined Univ. of Freiburg Detlef Schwier joined blaxxun interactive, ...

Algebraic Methodology and Software Technology, 5th International...

researchr.org

; The TYPELAB Specification and Verification EnvironmentFriedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner ; Incremental FormalizationBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun ; PROPLANE: A ...

Axel Dold
Harald Rueß
Bastian Seegebarth

Alexander Seitz
Dietmar Millinger
Maria Sorea

Person "Schwier" (1)
Vorname "Detlef" (16737)
Name "Schwier" (249)

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

Detlef Schwier und Harald Person-Info

SCEAS

Leading Edge Computer Science Researchbooks.google.com › books

[PDF] Typelab: An Environment for Modular Program Developmenttypeset.io › pdf

dblp: Harald Ruess

Friedrich W. von Henke - DBLPdblp.org › Persons

Geometry.Net - Science: Temporal Logic

Algebraic Methodology and Software Technology, 5th International...

Algebraic Methodology and Software Technology, 5th International...

SCEAS

Alle Infos zum Namen "Detlef Schwier"