D Bjorner的作品

iMusic 有现货显示无货商品

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 (Paperback Book) [2001 edition] (2001)

Perspectives of System Informati... (2001)

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)