Releases by D Bjorner

In stock at iMusic Show unavailable items

Cover for D Bjorner · Towards a Formal Description of Ada - Lecture Notes in Computer Science (Paperback Book) (1980)

Towards a Formal Description of ... (1980)

Cover for D Bjorner · Abstract Software Specifications - Lecture Notes in Computer Science (Paperback Book) (1980)

Abstract Software Specifications... (1980)

Cover for D Bjorner · The Vienna Development Method: the Meta-language - Lecture Notes in Computer Science (Paperback Book) (1978)

The Vienna Development Method: t... (1978)