M. Wirsing books & textbook
Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
Neuhold, Erich J. Paul, Manfred Apt, K.R. Astesiano, E. Bjorner, D. Broy, M. Cardelli, L. Mosses, P.D. Olderog, E.-R. Wirsing, M.
Springer /1991-10-04 Hardcover / 518 Pages
isbn-10: 3540539611 / isbn-13: 9783540539612
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science, 183)
Bauer, F.L. Berghammer, R. Broy, M. Dosch, W. Geiselbrechtinger, F. Gnatz, R. Hangel, E. Hesse, W. Krieg-Brückner, B. Laut, A. Matzner, T. Möller, B. Nickl, F. Partsch, H. Pepper, P. Samelson, K. Wirsing, M. Wössner, H.
Springer /1985-02-01 Paperback / 287 Pages
isbn-10: 3540151877 / isbn-13: 9783540151876
Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L. Dijkstra, E.W. Gerhart, S.L. Gries, D. Griffiths, M. Guttag, J. V. Horning, J. J. Owicki, S. S. Pair, C. Partsch, H. Pepper, P. Wirsing, M. Wössner, H. Bauer, F.L. Broy, M.
Springer /1979-06-01 Paperback / 664 Pages
isbn-10: 354009251X / isbn-13: 9783540092513
Methods of Programming: Selected Papers on the Cip-Project (Lecture Notes in Computer Science)
Juris Hartmanis Juris Hartmanis Gerhard Goos M. Wirsing
Springer /1991T Paperback / 268 Pages
isbn-10: 038754576X / isbn-13: 9780387545769
Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91 Passau, Germany, August 26-28, 1991 : Proceedings (Lecture Notes in Computer Science, 528)
Germany) Plilp 9 (1991 Passau J. Maluszynski J. Mauszynski M. Wirsing
Springer-Verlag /1991-01-01 Paperback / 433 Pages
isbn-10: 0387544445 / isbn-13: 9780387544441
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings (Lecture Notes in Computer Science)
Brandenburg, Franz J. Vidal-Naquet, G. Wirsing, M.
Springer Verlag /1987-01-01 Paperback / 483 Pages
isbn-10: 038717219X / isbn-13: 9780387172194
