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

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

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

Търсене в

Подредба

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

Live Data Structures in Logic Programs

Derivation by Means of Abstract Interpretation
44236

Детайли

Издателство
Springer
Местоиздаване
Berlin etc.
Година на издаване
1993
Страници
220 p. il.
Класификационен индекс
УДК Значение
519.6/.8 Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите
ISBN
3-540-56694-5
Отрасъл
Математика
Системен №
12827
Допълнителна сигнатура
L 83
Инвентаризация
Статус Брой
Фил. Математика (МАТ) 1

Действия

Виж още