المؤلفون: Pichler, Franz^Aff1

المساهمون: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Pichler, F., editor, Moreno-Diaz, R., editor

المصدر: Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings. 410:52-68

المؤلفون: Mittelmann, R.^Aff1

المساهمون: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Pichler, F., editor, Moreno-Diaz, R., editor

المصدر: Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings. 410:69-75

المؤلفون: Hellwagner, Hermann^Aff1

المساهمون: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Pichler, F., editor, Moreno-Diaz, R., editor

المصدر: Computer Aided Systems Theory — EUROCAST '89 : A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings. 410:354-366