Structural theory of algebraic specifications in a specification logic

Bibliographische Detailangaben

Hauptverfasser:	Ehrig, Hartmut 1944-2016 (VerfasserIn), Große-Rhode, Martin (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Berlin Techn. Univ. Berlin, Fachbereich 20, Informatik
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik ...
Schlagworte:	Algebraische Spezifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!