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