( en | de | ru )

 

Disambiguierung von "Cerioli, Maura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CASL Semantics

, , , , , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)

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.

Maura Dandri

Maura Zátonyi

Maura Schweickert

Maura Strigini

Peter Mauracher

 

Weitere Publikationen von Autoren mit dem selben Namen

Multiparadigm Specification Languages: A First Attempt at Foundations., und . Semantics of Specification Languages, Seite 168-185. Springer, (1993)On the Deployment of IoT Systems: An Industrial Survey., , , , und . ICSA Companion, Seite 17-24. IEEE, (2020)DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications., und . AMAST, Volume 4019 von Lecture Notes in Computer Science, Seite 96-110. Springer, (2006)Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML., , und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 273-292. Springer, (2000)Algebraic-Oriented Institutions., und . AMAST, Seite 201-208. Springer, (1993)COVID-19 hits the job market: an 88 million job ads analysis., , und . SAC, Seite 1721-1726. ACM, (2021)Permissive Subsorted Partial Logic in CASL., , , und . AMAST, Volume 1349 von Lecture Notes in Computer Science, Seite 91-107. Springer, (1997)Extending Casl by Late Binding., , und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 53-72. Springer, (1999)Civic participation powered by ethereum: a proposal., und . Programming, Seite 15:1-15:6. ACM, (2019)CASL Semantics, , , , , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)