Mitarbeiter
Lehre
Forschung
Projekte
Publikationen
Wiss. Veröffentlichungen
Bücher
Beiträge
Tutorien
Technische Berichte
Dissertationen
Kontakt
PvS@Work
This page in English
Suche
Sitemap
Kontakt
E-Mail
Informatik
»
Lehrstühle
»
Softwaretechnik und Programmiersprachen
»
Programmierung verteilter Systeme
»
Publikationen
»
Wiss. Veröffentlichungen
»
Attributed Algebraic Specifications
Attributed Algebraic Specifications
Bauer, B.
Vortrag beim 11th ADT Workshop and 8th General Compass Meeting, Oslo, Norwegen, 19.-23. September 1995