Voß, Angelika 1954-
Voss, Angelika
VIAF ID: 189902018 (Personal)
Permalink: http://viaf.org/viaf/189902018
Preferred Forms
- 100 1 _ ‡a Voss, Angelika (sparse)
-
- 100 1 _ ‡a Voss, Angelika ‡d 1954-
-
- 100 1 _ ‡a Voß, Angelika ‡d 1954-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algebraic specifications in an integrated software development and verification system | |
Aufkommen und Zusammensetzung schutzmittelbehandelter Althölzer und ihre Entsorgung | |
Hierarchical structures and dynamic parameterization without parameters | |
Specification, horizontal composition and parameterization of algebraic implementations | |
SPESY Eine integrierte Softwareentwicklungs- und Verifikationsumgebung |