18 treff

International Andrei Ershov Memorial Conference
Bok Engelsk 2001
International Andrei Ershov Memorial Conference
Bok Engelsk 2000
International Andrei Ershov Memorial Conference
Bok Engelsk 1996
Dines Bjørner, Manfred Broy, Igor V. Pott...
Bok Engelsk 1993
J. Bārzdiṇš, D. Bjørner (eds.)
Bok Engelsk 1991
VDM Europe
Bok Engelsk 1990
IFIP TC2 Workshop on Partial Evaluation and Mixed Computation
Bok Engelsk 1988
VDM Europe
Bok Engelsk 1987
IFIP Working Conference on Formal Description of Programming Concepts
Bok Språk ikke angitt 1983
Dines Bjørner and Cliff B. Jones ; in col...
Bok Engelsk 1982
edited by D. Bjørner and O. N. Oest
Bok Engelsk 1980
Copenhagen Winter School on Abstract Software Specifications
Bok Engelsk 1980
edited by D. Bjørner and C. B. Jones
Bok Engelsk 1978
Dines Bjørner
Bok Engelsk 1977
Dines Bjørner
Bok Engelsk 1977
Dines Bjørner
Bok Engelsk 1977
Dines Bjørner
Bok Engelsk 1976
Dines Bjørner
Bok Engelsk 1976