D. Bjørner

6 published titles

Formal specification and software development

1 edition

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

(Contributor)

1 edition

Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, 18-24 October, 1987

(Contributor)

1 edition

Images of programming : dedicated to the memory of A. P. Ershov

(Contributor)

1 edition

Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings

(Contributor)

1 edition

Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers

(Contributor)

1 edition