Martin Wirsing

No biography available.

Works (10)

Cover of Adapting proofs-as-programs

Adapting proofs-as-programs

Cover of Formal Description of Programming Concepts III

Formal Description of Programming Concepts III

Cover of Trustworthly Global Computing

Trustworthly Global Computing

Cover of Recent trends in algebraic development techniques

Recent trends in algebraic development techniques

Cover of Rigorous Software Engineering for Service-Oriented Systems

Rigorous Software Engineering for Service-Oriented Systems

Cover of Java Kompakt

eXamenPress

Java Kompakt eXamenPress

Cover of Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

Cover of Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

Cover of STACS 87

Cover of Theoretical aspects of computing

Theoretical aspects of computing