Menu

D. Bjørner

6 published titles

Formal specification and software development

1 edition

  • ISBN: 0133290034
  • Prentice-Hall
  • 1982
  • Details

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

  • ISBN: 0444866191
  • North-Holland
  • 1983
  • Details

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

  • ISBN: 0444704914
  • North-Holland
  • 1988
  • Details

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

(Contributor)

1 edition

  • ISBN: 0444893385
  • North-Holland
  • 1991
  • Details

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

(Contributor)

1 edition

  • ISBN: 3540671021
  • Springer
  • 2000
  • Details

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

(Contributor)

1 edition

  • ISBN: 354043075X
  • Springer
  • 2001
  • Details

obnb.uk is a Good Stuff website.