( en | de | ru )

 

Disambiguation of "Klaeren, Herbert"

Author of the publication

copydeleteadd this publication to your clipboard
Schreibe dein Programm ! Einführung in die Programmierung

, and . (January 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Herbert Klaeren

Horst Klaeren

Aloys Klaeren

Ruth Klaeren

Hubert Klaeren

 

Other publications of authors with the same name

The SRDL Specification Experiment.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 282-293. Springer, (1981)Informatics and Society: A Curriculum for Distance Education., , and . Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, page 69-78. Springer, (1997)Efficient Implementation of Structural Recursion., and . FCT, volume 278 of Lecture Notes in Computer Science, page 204-213. Springer, (1987)A Simple Class of Algorithmic Specifications for Abstract Software Modules.. MFCS, volume 88 of Lecture Notes in Computer Science, page 362-374. Springer, (1980)Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, 1.~Aufl. edition, (2006)Efficient Implementation of an Algebraic Specification Language., and . Algebraic Methods, volume 394 of Lecture Notes in Computer Science, page 69-90. Springer, (1987)Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.. ADT, University of Passau, (1983)Algebraische Spezifikation - eine Einführung.. Springer, (1983)Probleme des Software-Engineering, Die Programmiersprache - Werkzeug des Softwareentwicklers.. Inform. Spektrum, 17 (1): 21-28 (1994)Executable Assertions and Separate Compilation., and . JMLC, volume 1204 of Lecture Notes in Computer Science, page 41-52. Springer, (1997)