search result

Cover von Dynamic Logic
New Trends and Applications : Second International Workshop, DaLi 2019, Porto, Portugal, October 7 - 11, 2019, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12005
Media group: MONOGRAPHIE
Cover von ReCooPLa

ReCooPLa

a DSL for Coordination-based Reconfiguration of Software Architectures
Year: 2014
Media group: OASICS
Cover von Formal Aspects of Component Software
7th International Workshop, Guimaraes, Portugal, October 14 - 16, 2010, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6921
Media group: MONOGRAPHIE
Cover von Topics in Theoretical Computer Science
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1 - 2, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12281
Media group: MONOGRAPHIE
Cover von Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 5520
Media group: MONOGRAPHIE
Cover von Programming Languages
16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23 - 28, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7554
Media group: MONOGRAPHIE
OPEN V 11.1.0.0