Martin Wirsing
18 works on record
Works
Theoretical aspects of computing
Recent trends in algebraic development techniques
Adapting proofs-as-programs
Rigorous Software Engineering for Service-Oriented Systems
Trustworthly Global Computing
Java Kompakt eXamenPress
STACS 87
Elementare Aussagenlogik
Knowledge Science, Engineering and Management
Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge
Programming Language Implementation and Logic Programming
Fundamental Approaches to Software Engineering
Algebraic Methods
Formal Description of Programming Concepts III
Software Engineering for Collective Autonomic Systems
Theoretical Aspects of Computing - ICTAC 2005
Software-Intensive Systems and New Computing Paradigms
Java Kompakt