Martin Wirsing
· 19 obras en el catálogo
Obras
Trustworthly Global Computing
Adapting proofs-as-programs
Theoretical aspects of computing
Recent trends in algebraic development techniques
Rigorous Software Engineering for Service-Oriented Systems
Java Kompakt eXamenPress
Elementare Aussagenlogik
STACS 87
Programming Language Implementation and Logic Programming
Knowledge Science, Engineering and Management
Adapting Proofs-as-Programs
Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge
Fundamental Approaches to Software Engineering
Algebraic Methods
Software Engineering for Collective Autonomic Systems
Theoretical Aspects of Computing - ICTAC 2005
Software-Intensive Systems and New Computing Paradigms
Java Kompakt
