( en | de | ru )

 

Disambiguation of "Klaeren, Herbert"

Author of the publication

copydeleteadd this publication to your clipboard
Vom Problem zum Programm

. Teubner, (1990)

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

Erich Klaeren

 

Other publications of authors with the same name

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)The SRDL Specification Experiment.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 282-293. Springer, (1981)Efficient Implementation of Structural Recursion., and . FCT, volume 278 of Lecture Notes in Computer Science, page 204-213. Springer, (1987)Software Engineering und formale Verfahren.. SEUH, volume 37 of Berichte des German Chapter of the ACM, page 48-50. Teubner, (1992)Die Macht der Abstraktion. Einführung in die Programmierung, and . B.\,G. Teubner, Wiesbaden, 1.~Auf\/l. edition, (2007)Code coverage for any kind of test in any kind of transcompiled cross-platform applications., and . INTUITEST@ISSTA, page 1-10. ACM, (2016)Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.. Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 252-258. Springer, (1975)Recursive Definitions of Operations in Universal Algebras.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 268-281. Springer, (1981)Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, 1.~Aufl. edition, (2006)Algebraische Spezifikation - eine Einführung.. Springer, (1983)