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

Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

44297

Издателство

Springer

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

Berlin etc.

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

1993

Страници

623 p. il.

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

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

ISBN

3-540-56733-X

Отрасъл

Математика

Системен №

12795

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

P 93

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

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

Виж още

Костадин Рангелов Баков (2025)

Милен Пламенов Близнаков (2022)

Lawrence Venuti (2008)

(2010)

Penny Ur (1996)

Тодор Шопов (2002)