TU Darmstadt / ULB / TUbiblio

Integrierter Deduktiver Software-Entwurf

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (1998):
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, p. 40, [Article]

Item Type: Article
Erschienen: 1998
Creators: Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter
Title: Integrierter Deduktiver Software-Entwurf
Language: German
Journal or Publication Title: Künstliche Intelligenz
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: HMS98
Export:

Optionen (nur für Redakteure)

View Item View Item