A model for interaction of

33. Летичевский А.А., Капитонова Ю.В. Доказательство теорем в математической информационной среде //Там же. – 1998. – №.4. – С. 3 – 12.

34. Letichevsky A.A., Gilbert D.R. A model for interaction of agents and environments //Recent trends in algebra's development technique Language.–2000. – P.311 – 329.

35. Редько В.Н. Экспликативное программирование: ретроспективы и перспективы//Проблемы программирования.– 1998. – №2.–С. 22 – 41.

36. Никитченко Н.С.

Композиционно–номинативный подход к уточнению понятия программы // Там же.– 1999.– №1.– С. 16–31.

37. Редько В.Н. Композиционная структура программологии //Кибернетика и системный анализ. – 1998. – № 4. – С. 47–66.

38. Редько В.Н. Основания программологии // Там же. – 2000.– № 1.– С. 35–57.

39. Редько В.Н., Брона Ю.Й., Буй Д.Б. Реляційні бази даних: табличні алгебри та SQL–подібні мови //Видав. дім “Академперіодика”, Київ, 2001.–195с.

40. Цейтлин Г.Е. Введение в алгоритмику.– Изд.–во Фара, 1999.–310с.

41.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Наукова думка.– 1974.–317с. ( перераб. и переизд. 1979г., 1989г.).

42. Ющенко Е.Л , Сужко С,В,, Цейтлин Г.Е., Шевченко А.И. Алгоритмические алгебры.– Учебник (укр.).– ИЗММ.– 1997.–480с.

43. Abrial I.R., Meyer B. Spesification Language Z. –Boston: Massachusetts Computer Associates Inc.. 1979.–378 p.

44. Biorner D.Jones C.B. The Vienna Development Methods (VDM): The Meta – Language.–Vol. 61 of Lecture Notes in Computer Science .– Springer Verlag, Heiderberg, Germany, 1978.–215p.

45. The RAISE Language Group. The RAISE Spesification Language. BCS Practitioner Series .– Prentice Hall, 1982.–397 p.

46. The RAISE Methods Group. The RAISE Development Methods. BCS Practitioner Series .– Prentice Hall, 1985.–493p.

Содержание Назад Вперед

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий