PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Klaeren, Herbert"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraische Spezifikation - eine Einführung.

. Springer, (1983)

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.

Univ. -Prof. Dr. -Ing. Herbert Wehlan University of Stuttgart

Hon. -Prof. Dr. Herbert Kohler University of Stuttgart

Prof. iR Herbert Traub University of Stuttgart

Dr. Herbert Dilger University of Stuttgart

Herbert Moll-von Berg University of Stuttgart

 

Other publications of authors with the same name

Algebraische Spezifikation - eine Einführung.. Springer, (1983)A Simple Class of Algorithmic Specifications for Abstract Software Modules.. MFCS, volume 88 of Lecture Notes in Computer Science, page 362-374. Springer, (1980)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)Recursive Definitions of Operations in Universal Algebras.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 268-281. Springer, (1981)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)Software Engineering und formale Verfahren.. SEUH, volume 37 of Berichte des German Chapter of the ACM, page 48-50. Teubner, (1992)Code coverage for any kind of test in any kind of transcompiled cross-platform applications., and . INTUITEST@ISSTA, page 1-10. ACM, (2016)Distributed partial evaluation., , and . PASCO, page 80-87. ACM, (1997)Efficient Implementation of Structural Recursion., and . FCT, volume 278 of Lecture Notes in Computer Science, page 204-213. Springer, (1987)