( en | de | ru )

 

Disambiguierung von "Wirsing, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.

, und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 367-387. Springer, (2019)

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.

Martin Wirsing

Martin Wirsing

Ute Wirsing

Josef Wirsing

Adolf Wirsing

 

Weitere Publikationen von Autoren mit dem selben Namen

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems., und . Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 367-387. Springer, (2019)On the Algebraic Specification of Finitary Infinite., und . Formal Description of Programming Concepts, Seite 171-198. North-Holland, (1982)Generalized Heterogeneous Algebras., und . ADT, University of Passau, (1983)An Object-Oriented Algebraic Steam-Boiler Control Specification., , und . Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 379-402. Springer, (1995)Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective., und . STACS, Volume 480 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1991)Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy., und . Int. J. Softw. Informatics, 5 (1-2): 1-6 (2011)Relational Specifications and Observational Semantics., , und . MFCS, Volume 233 von Lecture Notes in Computer Science, Seite 209-217. Springer, (1986)Towards an Integration of Message sequence Charts and Timed Maude., und . Transactions of the SDPS, 5 (1): 23-44 (2001)Java kompakt - Eine Einführung in die Software-Entwicklung mit Java., , und . eXamen.press Springer, (2013)Programming languages as abstract data types., und . CLAAP, Seite 160-177. Université de Lille 1, (1980)