Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Bildinformationen anzeigen

1981

Gregor Engels, Udo Pletat, Hans-Dietrich Ehrich: Handling Errors and Exceptions in the Algebraic Specifications of Data Types. Technical report, no. OSM-I-3. University of Osnabr\"uck (1981) 


Udo Pletat, Gregor Engels, Hans-Dietrich Ehrich: Operational Semantics of Algebraic Specifications with Conditional Equations. Technical report, no. 118. University of Dortmund, Department of Computer Science (1981)