Wirsing, M. (Martin)

ID:DA00831565

Alias Name: Wirsing, Martin

Search authors sharing the same name

Search Results1-12 of 12

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 2009, York, UK, March 22-29, 2009 : proceedings

Marsha Chechik, Martin Wirsing (eds.)

Springer c2009 Lecture notes in computer science 5503

Available at 1 libraries
2

Theoretical aspects of computing : ICTAC 2005 : second International colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Dang Van Hung , Martin Wirsing (eds.)

Springer c2005 Lecture notes in computer science 3722

Available at 7 libraries
3

Adapting proofs-as-programs : the Curry-Howard protocol

Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

Springer c2005 Monographs in computer science

: hbk , : pbk

Available at 9 libraries
4

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 Lecture notes in computer science 2941

Available at 16 libraries
5

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

Martin Wirsing, Maurice Nivat (eds.)

Springer c1996 Lecture notes in computer science 1101

Available at 55 libraries
6

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 Lecture notes in computer science 631

: gw , : us

Available at 51 libraries
7

Methods of programming : selected papers on the CIP-project

M. Broy, M. Wirsing, (eds.)

Springer-Verlag c1991 Lecture notes in computer science 544

: gw , : us

Available at 52 libraries
8

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 Lecture notes in computer science 528

: gw , : us

Available at 52 libraries
9

Algebraic methods : theory, tools and applications

M. Wirsing, J.A. Bergstra, eds

Springer-Verlag c1989-c1991 Lecture notes in computer science 394, 490

[1] : gw , [1] : us , 2 : gw , 2 : us

Available at 66 libraries
10

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings

R. Cori, M. Wirsing (eds.)

Springer-Verlag c1988 Lecture notes in computer science 294

: gw , : us

Available at 55 libraries
11

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

edited by Martin Wirsing

North-Holland Pub. Co. 1987

Available at 12 libraries
12

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings

edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing

Springer-Verlag c1987 Lecture notes in computer science 247

: gw , : us

Available at 49 libraries

Search this author

Related Authors

Page Top