TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Englisch
Anzahl der Einträge: 1.

Englisch

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Hrsg.: Bert, Didier ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL: ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Buchkapitel, Bibliographie

Diese Liste wurde am Sat Dec 21 02:59:18 2024 CET generiert.