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

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

Книги

Периодика

Статии

Дисертации

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

Търсене в

Подредба

Чети онлайн

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

Types for Proofs and Programs

Selected Papers

44124

Детайли

Издателство

Springer

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

Berlin etc.

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

1996

Страници

296 p. il.

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

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

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

ISBN

3-540-61780-9

Отрасъл

Математика

Системен №

12748

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

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

(1994)

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, 1996 296 p. il. 3-540-61780-9.

(1996) Types for Proofs and Programs, Berlin etc.: Springer 296 p. il. 3-540-61780-9.

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

Types for Proofs and Programs: Selected Papers. Berlin etc.: Springer; 1996. p. 296 p. il. ISBN: 3-540-61780-9.