Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Книги

Периодика

Статии

Дисертации

Какво желаете да търсите

Търсене в

Подредба

Чети онлайн

Каталог "Книги" | Книги .(02)

Types for Proofs and Programs

Selected Papers

44485

Детайли

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1994

Страници

383 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

Допълнителна информация

ISBN

3-540-58085-9

Отрасъл

Математика

Системен №

13050

Допълнителна сигнатура

T 99

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Действия

Виж още

Critical Readings in Translation Studies

(2010)

Чети онлайн

From Puritanism to postmodernism

Richard Ruland; Malcolm Bradbury (1991)

Чети онлайн

Psycholinguistics

Roger Brown (1970)

Чети онлайн

Types for Proofs and Programs

(1995)

Types for Proofs and Programs

(1996)

Seminars in English Lexicology

E. M. Mednikova (1978)

Чети онлайн

APA Chicago / Turabian (16th edition) Harvard MLA (7th edition) Vancouver

Types for Proofs and Programs. Berlin etc.: Springer, 1994 383 p. il. 3-540-58085-9.

(1994) Types for Proofs and Programs, Berlin etc.: Springer 383 p. il. 3-540-58085-9.

(1994). Types for Proofs and Programs. Selected Papers. Berlin etc.: Springer, 383 p. il.

Types for Proofs and Programs: Selected Papers. Berlin etc.: Springer; 1994. p. 383 p. il. ISBN: 3-540-58085-9.