Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von D Bjorner

1. Mai 1978 – 14. Dezember 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 (Taschenbuch) [2001 edition] (2001)

Perspectives of System Informati... (2001)

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

Towards a Formal Description of ... (1980)

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

Abstract Software Specifications... (1980)

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

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