D. Bjørner

Born: 1937

No bio available. Add one in Open Library.

Born: 1937

Books by D. Bjørner (50 max)

+ shelf+ list

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)

1993

D. Bjørner, M. Broy

+ shelf+ list

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

2007

D. Bjørner, Martin C. Henson

+ shelf+ list

Formal methods and hybrid real-time systems: essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

2007

D. Bjørner, Jones, C. B., Jim Woodcock

+ shelf+ list

The theory of the finite state syntax directed transductions: & A flow-mode, self-steering, cellular multiplier-summation processor.

1969

D. Bjørner

+ shelf+ list

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science Number 61)

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

The Vienna development method: the Meta-language

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)

1978

D. Bjørner, Jones, C. B.

+ shelf+ list

Towards a formal description of Ada

1980

D. Bjørner

+ shelf+ list

Towards a formal description of Ada

1980

D. Bjørner

+ shelf+ list

Formal specification and software development

1982

D. Bjørner

+ shelf+ list

Baltic computer science: selected papers

1991

D. Bjørner

+ shelf+ list

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)

2000

D. Bjørner, M. Broy

+ shelf+ list

Software engineering

2006

D. Bjørner