Poetzsch-Heffter, Arnd
Poetzsch-Heffter, Arnd 1958-
Arnd Poetzsch-Heffter Ph.D. Technische Universität München 1991
VIAF ID: 276149106006368490516 ( Personal )
Permalink: http://viaf.org/viaf/276149106006368490516
Preferred Forms
- 100 0 _ ‡a Arnd Poetzsch-Heffter ‡c Ph.D. Technische Universität München 1991
-
-
- 100 1 _ ‡a Poetzsch-Heffter, Arnd
- 100 1 _ ‡a Poetzsch-Heffter, Arnd
-
- 100 1 _ ‡a Poetzsch-Heffter, Arnd ‡d 1958-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (2)
- 510 2 _ ‡a Technische Universität Kaiserslautern ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Kaiserslautern ‡b Fachbereich Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
30 Jahre Wissenschaftsreportage | |
Arbeitstagung Programmiersprachen '99 mit Schwerpunkt sichere Programmausführung ; Paderborn, 6. Oktober, 1999 | |
An Automata-Theoretic Approach to Open Actor System Verification | |
brief study in automating proofs based on a refined Hoare logic | |
Complex remote attribute dependencies do not exclude the generation of efficient evaluators | |
Formal techniques for distributed systems, 2009: | |
Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen | |
Implementing high level identification specifications | |
Konzepte objektorientierter Programmierung mit einer Einführung in Java ; [mit CD-ROM] | |
MAX system a tutorial introduction | |
Programmiersprachen und Grundlagen der Programmierung Kolloquiumsband Kirchhundem-Heinsberg 1999 | |
Programming and interface specification language of JIVE - specification and design rationale | |
Scalable Consistency in the Multi-core Era | |
Universes: a type system for alias and dependency control |