Pocketbok
Visa slutsålda utgivelser

Releases med D Bjorner

1 maj 1978 – 14 december 2001

Cover for D Bjorner · Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Perspectives of System Informati... (2001)

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

Towards a Formal Description of ... (1980)

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

Abstract Software Specifications... (1980)

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

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