PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Klaeren, Herbert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Schreibe dein Programm!

, und . (2023)
DOI: 10.15496/PUBLIKATION-84890

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraische Spezifikation - eine Einführung.. Springer, (1983)A Simple Class of Algorithmic Specifications for Abstract Software Modules.. MFCS, Volume 88 von Lecture Notes in Computer Science, Seite 362-374. Springer, (1980)Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.. ADT, University of Passau, (1983)Efficient Implementation of an Algebraic Specification Language., und . Algebraic Methods, Volume 394 von Lecture Notes in Computer Science, Seite 69-90. Springer, (1987)Software Engineering und formale Verfahren.. SEUH, Volume 37 von Berichte des German Chapter of the ACM, Seite 48-50. Teubner, (1992)Recursive Definitions of Operations in Universal Algebras.. Program Specification, Volume 134 von Lecture Notes in Computer Science, Seite 268-281. Springer, (1981)Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.. Automata Theory and Formal Languages, Volume 33 von Lecture Notes in Computer Science, Seite 252-258. Springer, (1975)Code coverage for any kind of test in any kind of transcompiled cross-platform applications., und . INTUITEST@ISSTA, Seite 1-10. ACM, (2016)Distributed partial evaluation., , und . PASCO, Seite 80-87. ACM, (1997)Aspect Composition Applying the Design by Contract Principle., , , und . GCSE, Volume 2177 von Lecture Notes in Computer Science, Seite 57-69. Springer, (2000)