Martin Wirsing
Martin Wirsing
8 books in the database
Books
Recent trends in algebraic development techniquesMartin Wirsing
Recent trends in algebraic development techniques
Martin Wirsing · 2004
Rigorous Software Engineering for Service-Oriented SystemsMartin Wirsing
Rigorous Software Engineering for Service-Oriented Systems
Martin Wirsing · 2011
Trustworthly Global ComputingMartin Wirsing
Trustworthly Global Computing
Martin Wirsing · 2010
Software-Intensive Systems and New Computing ParadigmsMartin Wirsing
Software-Intensive Systems and New Computing Paradigms
Martin Wirsing · 2008
Algebraic MethodsMartin Wirsing
Algebraic Methods
Martin Wirsing · 1989
Formal Description of Programming Concepts IIIMartin Wirsing
Formal Description of Programming Concepts III
Martin Wirsing · 1988
Software Engineering for Collective Autonomic SystemsMartin Wirsing
Software Engineering for Collective Autonomic Systems
Martin Wirsing · 2015
Java Kompakt eXamenPressMartin Wirsing
Java Kompakt eXamenPress
Martin Wirsing · 2013
Co-authored books and collections
Books that list Martin Wirsing among their authors but not as the lead author: co-written works, collections and compilations.
Adapting proofs-as-programsIman Hafiz Poernomo
Adapting proofs-as-programs
Iman Hafiz Poernomo · 2005
Fundamental Approaches to Software EngineeringMarsha Chechik
Fundamental Approaches to Software Engineering
Marsha Chechik · 2009
Knowledge Science, Engineering and ManagementSongmao Zhang
Knowledge Science, Engineering and Management
Songmao Zhang · 2007
Theoretical aspects of computingDang Van Hung
Theoretical aspects of computing
Dang Van Hung · 2005
Adapting Proofs-as-ProgramsIman Hafiz Poernomo
Adapting Proofs-as-Programs
Iman Hafiz Poernomo · 2005
STACS 87Franz J. Brandenburg
STACS 87
Franz J. Brandenburg · 1987
Programming Language Implementation and Logic ProgrammingJan Maluszynski
Programming Language Implementation and Logic Programming
Jan Maluszynski · 2014
Theoretical Aspects of Computing - ICTAC 2005Dang Van Hung
Theoretical Aspects of Computing - ICTAC 2005
Dang Van Hung · 2005
Elementare AussagenlogikFriedrich L. Bauer
Elementare Aussagenlogik
Friedrich L. Bauer · 1991
Java KompaktMatthias Hölzl
Java Kompakt
Matthias Hölzl · 2013