Martin Wirsing
Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Wirsing, Martin', query time: 0.01s
Refine Results
-
1
Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS...
Published 2009Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Algebraic methodology and software technology /
Published 1996Other Authors: “…Wirsing, Martin…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Formal languages
Logics and meanings of programs
Mathematical logic
Software engineering
Deducción y prueba de teoremas
Deduction and theorem proving
Diseño físico
Diseño lógico
Ingenieria de software
Languages
Lenguajes
Lenguajes formales
Logic design
Logic programming
Lógica matemática
Lógica y significado de programas
Mathematical software
Physical design
Programación en lógica
Programming languages
Sistemas con proposito y aplicación especial
Special-purpose and application-based systems