Приложение
для AndroidПолное описание
Groote, J. F. Algebraic verification of a distributed summation algorithm / J.F.Groote,J.G.Springintveld. - Amsterdam : [s. n.], 1996. - 18 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9640). - 1000 р. - Текст : непосредственный.
Библиогр.:с.17-18
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.5 |
Рубрики:
Программы для ЭВМ -- Верификация
Кл.слова (ненормированные): программа
Доп. точки доступа:
Springintveld, J.G.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыEker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Korver H.P. computer-checked verification of Milner's scheduler / H.P.Korver,J.Springintveld, 1993. - 28 p. - Текст : непосредственный.Apt K.R. Program verification and Prolog / K.R.Apt, 1994. - 35 p. - Текст : непосредственный.Liedtke Th. Rechnergestutzte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte : Diss. / Th.Liedtke, 1993. - XIV,153 S. S. - Текст : непосредственный.Deursen A.van Origin tracking for higher-order term rewriting systems / A.van Deursen,T.B.Dinesh, 1994. - 21 p. - Текст : непосредственный.Hooman J. Specification and compositional verification of real-time systems / J.Hooman, 1991. - VIII,235 p. p. - Текст : непосредственный.Marchiori M. Modularity of UN- for left-linear term rewriting systems / M.Marchiori, 1994. - 11 p. - Текст : непосредственный.Walters H.R. A complete term rewriting system for decimal integer arithmetic / H.R.Walters, 1994. - 9 p. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F.Tip, 1994. - 58 p. - Текст : непосредственный.Bouali A. The integration project for the JACK environment / A.Bouali,S.Gnesi,S.Larosa, 1994. - 28 p. - Текст : непосредственный.Ariola Z.M. Equational term graph rewriting / Z.M.Ariola,J.W.Klop, 1995. - 55 p. - Текст : непосредственный.Groote J.F. Algebraic verification of a distributed summation algorithm / J.F.Groote,J.G.Springintveld, 1996. - 18 p. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Khasidashvili Z. Perpetual reductions and strong normalization in orthogonal term rewriting systems / Z.Khasidashvili, 1993. - 12 p. - Текст : непосредственный.Event structures and orthogonal term graph rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 19 p. - Текст : непосредственный.Comparing curried and uncurried rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 25 p. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул / И.С.Ануреев, 1997. - 22 с. - Текст : непосредственный.Ануреев И.С. Упрощающие процедуры для типов данных, основанные на системах переписывания формул / И.С.Ануреев, 1998. - 43 с. - Текст : непосредственный.Ariola Z.M. Bisimilarity in term graph rewriting / Z.M.Ariola,J.W.Klop,D.Plump, 1998. - 22 p. - Текст : непосредственный.
Показать все результатыБеляева С.И. Теоретические основы структурного диагностирования и обеспечения контролепригодности сложных технических и программных объектов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / С. И. Беляева, 1991. - 33 с. - Текст : непосредственный.Бондарев М.Ю. Инструментально-методический комплекс оценки надежности прикладных программных средств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / М. Ю. Бондарев, 1991. - 17 с. - Текст : непосредственный.Молин А.В. Разработка полигона для испытания программ статистического анализа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16:05.13.16 / А. В. Молин, 1991. - 17 с. - Текст : непосредственный.Скворцов С.А. Алгоритмы оценки качества функционирования программного обеспечения вычислительных систем реального времени на основе моделей нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. А. Скворцов, 1991. - 16 с. - Текст : непосредственный.Бекетова Е.А. Методы и средства оценки качества программ имитационных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Е. А. Бекетова, 1992. - 16 с. - Текст : непосредственный.Мадан В.И. Исследование и анализ количественных характеристик качества программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. И. Мадан, 1992. - 18 с. - Текст : непосредственный.Черноножкин С.К. Методы и инструменты метрической поддержки разработки качественных программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. К. Черноножкин, 1998. - 18 с. - Текст : непосредственный.Коган Б.И. Измерительные языковые процессоры для исследования и оценки качества программных средств : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.11 / Б. И. Коган, 1993. - 31 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.Шубинский М.И. Развитие методов оценки и прогноза качества и надежности программного обеспечения на основе нечеткой математики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Шубинский, 1996. - 18 с. - Текст : непосредственный.Кудрин К.А. Разработка методов автоматизированного тестирования программного обеспечения систем автоматизации эксперимента : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / К. А. Кудрин, 1998. - 19 с. - Текст : непосредственный.Маликова Л.В. Разработка математического и программного обеспечения для исследования исполняемых модулей с использованием теории алгоритмических алгебр и унификации алгебраических термов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / Л. В. Маликова, 1998. - 16 с. - Текст : непосредственный.Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный.Ануреев И.С. Системы переписывания формул и их применение в автоматической верификации программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. С. Ануреев, 1998. - 19 с. - Текст : непосредственный.Пинаев Д.В. Методы и средства интегральной оценки тестированности программного проекта. Позволяющие управлять процессом разработки тестов : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Д. В. Пинаев, 1998. - 18 с. - Текст : непосредственный.Ермолаева Е.К. Разработка адаптивной экспертной системы сравнительного анализа алгоритмов и программ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Е. К. Ермолаева, 2000. - 28 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Фофанов В.А. Внешнее тестирование интерфейсных библиотек (на примере интерфейса ASIS) : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. А. Фофанов, 2000. - 15 с. - Текст : непосредственный.Куликова Н.Л. Разработка и исследование логических методов тестирования программных комплексов в информационных системах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.25.05 / Н. Л. Куликова, 2000. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽