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

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

Книги

Периодика

Статии

Дисертации

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

Търсене в

Подредба

Чети онлайн

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

Formal Development of Programs and Proofs

44894

Детайли

Издателство

Addison-Wesley Pub. Company

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

Reading etc.

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

1990

Страници

241 p. il.

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

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

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

ISBN

0-201-17237-2

Отрасъл

Математика

Системен №

13463

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

F 76

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

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

Действия

Виж още

The Translator's Invisibility

Lawrence Venuti (2008)

Чети онлайн

Critical Readings in Translation Studies

(2010)

Чети онлайн

From Puritanism to postmodernism

Richard Ruland; Malcolm Bradbury (1991)

Чети онлайн

Psycholinguistics

Roger Brown (1970)

Чети онлайн

Seminars in English Lexicology

E. M. Mednikova (1978)

Чети онлайн

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

Formal Development of Programs and Proofs. Reading etc.: Addison-Wesley Pub. Company, 1990 241 p. il. 0-201-17237-2.

(1990) Formal Development of Programs and Proofs, Reading etc.: Addison-Wesley Pub. Company 241 p. il. 0-201-17237-2.

(1990). Formal Development of Programs and Proofs. Reading etc.: Addison-Wesley Pub. Company, 241 p. il.

Formal Development of Programs and Proofs. Reading etc.: Addison-Wesley Pub. Company; 1990. p. 241 p. il. ISBN: 0-201-17237-2.