Wirsing, M.

この人物の情報

人物別名 M. Wirsing

Wirsing, Martin
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
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 2009, York, UK, March 22-29, 2009 : proceedings Marsha Chechik, Martin Wirsing (eds.) Springer
c2009
Adapting proofs-as-programs : the Curry-Howard protocol Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Springer
c2005
Theoretical aspects of computing : ICTAC 2005 : second International colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings Dang Van Hung , Martin Wirsing (eds.) Springer
c2005
Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers Martin Wirsing, Alexander Knapp, Simonetta Balsamo, (eds.) Springer
c2004
Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings Martin Wirsing, Maurice Nivat (eds.) Springer
c1996
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings M. Bruynooghe, M. Wirsing, (eds.) Springer-Verlag
c1992
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings J. Maluszyński, M. Wirsing, (eds.) Springer-Verlag
c1991
Methods of programming : selected papers on the CIP-project M. Broy, M. Wirsing, (eds.) Springer-Verlag
c1991
Algebraic methods : theory, tools and applications M. Wirsing, J.A. Bergstra, eds Springer-Verlag
c1989-c1991
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想