Martin Wirsing

Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge

2019

Software Engineering for Colle

Software Engineering for Collective Autonomic Systems

2015

Java Kompakt eXamenPress

2013

Java Kompakt

Java Kompakt

2013

Rigorous Software Engineering for Service-Oriented Systems

2011

Trustworthly Global Computing

2010

Software-Intensive Systems and New Computing Paradigms

2008

Adapting proofs-as-programs

2005

Theoretical Aspects of Computi

Theoretical Aspects of Computing - ICTAC 2005

2005

Elementare Aussagenlogik

1991

Formal Description of Programming Concepts III

1987