D. Bjørner

Born 1937-01-01

Identifiers

Open LibraryOL1456240A

Top Subjects

Formal languages (1)
Machine theory (1)
Programming languages (Electronic computers) (1)
Computer software -- Development (1)
Software engineering. (1)
Computer programming. (1)

Books by D. Bjørner

Total count: 3

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

1969-01-01
Formal specification and software development

Prentice/Hall International1982-01-01
Software engineering

Springer2006-01-01