Martin Wirsing

Identifiers

Open LibraryOL2680105A

Top Subjects

Software engineering (4)
Computer science (2)
Mathematics (1)
Computer Programming (1)
Logic (1)
Computer Books: Operating Systems (1)
Computer science, mathematics (1)

Books by Martin Wirsing

Total count: 16

Formal Description of Programming Concepts III

Elsevier Science Publishing Company1988-05-01
Recent Trends in Algebraic Development Techniques16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer London, Limited2003-01-01
Web Engineering4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Springer London, Limited2004-01-01
Radical Innovations of Software and Systems Engineering in the Future9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Springer London, Limited2004-01-01
Theoretical Aspects of Computing - ICTAC 2005Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Springer London, Limited2005-01-01
Adapting Proofs-as-Programs The Curry-Howard Protocol (Monographs in Computer Science)

Springer2005-06-21
Software-Intensive Systems and New Computing ParadigmsChallenges and Visions

Springer London, Limited2008-01-01
Adapting Proofs-as-Programs

Springer2008-09-22
Fundamental Approaches to Software Engineering12th International Conference, FASE 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Springer London, Limited2009-01-01
Trustworthly Global Computing5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Heidelberg2010-01-01
Rigorous Software Engineering for Service-Oriented SystemsResults of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer Berlin Heidelberg2011-01-01
Java KompaktEine Einführung in Die Software-Entwicklung Mit Java

Springer2013-01-01
Programming Language Implementation and Logic Programming3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Springer2014-03-12
Knowledge Science, Engineering and Management8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Springer2015-01-01
Software Engineering for Collective Autonomic SystemsThe ASCENS Approach

Springer London, Limited2015-01-01
Digital Education : At the MOOC Crossroads Where the Interests of Academia and Business Converge6th European MOOCs Stakeholders Summit, EMOOCs 2019, ...

Springer2019-05-08