18 treff

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2001
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
International Andrei Ershov Memorial Conference
Bok Engelsk 2000
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
International Andrei Ershov Memorial Conference
Bok Engelsk 1996
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
Dines Bjørner, Manfred Broy, Igor V. Pott...
Bok Engelsk 1993
Baltic computer science : selected papers
J. Bārzdiṇš, D. Bjørner (eds.)
Bok Engelsk 1991
VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM Europe
Bok Engelsk 1990
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987
IFIP TC2 Workshop on Partial Evaluation and Mixed Computation
Bok Engelsk 1988
VDM '87 : VDM - a formal method at work : VDM-Europe Symposium 1987,Brussels, Belgium, March 23-26, 1987 : proceedings
VDM Europe
Bok Engelsk 1987
Formal description of programming concepts-II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
IFIP Working Conference on Formal Description of Programming Concepts
Bok Språk ikke angitt 1983
Formal specification and software development
Dines Bjørner and Cliff B. Jones ; in col...
Bok Engelsk 1982
Towards a formal description of Ada
edited by D. Bjørner and O. N. Oest
Bok Engelsk 1980
Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings
Copenhagen Winter School on Abstract Software Specifications
Bok Engelsk 1980
The Vienna development method : the meta-language
edited by D. Bjørner and C. B. Jones
Bok Engelsk 1978
Programming languages : formal development of interpreters & compilers
Dines Bjørner
Bok Engelsk 1977
Programming languages : linguistics & semantics
Dines Bjørner
Bok Engelsk 1977
Systematic program derivation techniques
Dines Bjørner
Bok Engelsk 1977
META-IV : a formal meta-language for abstract software specification
Dines Bjørner
Bok Engelsk 1976
Software abstraction principles : as applied to operating system command language specification
Dines Bjørner
Bok Engelsk 1976