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