Приложение
для AndroidПолное описание
Apt, K. R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog. - 2nd ed. - New York [etc.] : Springer, 1997. - XVII,364 p. p. - (Graduate texts in computer science). - ISBN 0-387-94896-1. - Текст : непосредственный.
Библиогр.:с.343-352.Указ.:с.353-364
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.535 |
Рубрики:
Программы для ЭВМ -- Верификация
Кл.слова (ненормированные): ПРОГРАММА
Доп. точки доступа:
Olderog, E.R.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/26716)
Шифр в сводном ЭК: 8a4d744cc17d647a633298d76b8db5a9
Alma-O : сборник научных трудов / K. R. Apt, J. Brunekreef, V. Partington, A. Schaerf, 1997. - 42 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Apt K.R. Search and imperative programming / K. R. Apt, A. Schaerf, 1996. - 21 p. - Текст : непосредственный.Apt K.R. Program verification and Prolog / K. R. Apt, 1994. - 35 p. - Текст : непосредственный.Apt K.R. Arrays,bounded quantification and iteration in logic and constraint logic programming / K.R.Apt, 1995. - 15 p. - Текст : непосредственный.Bol R.N. analysis of loop checking mechanisms for logic programs / R.N.Bol,K.R.Apt,J.W.Klop, 1989. - 56 p. - Текст : непосредственный. Apt K.R. A closer look at declarative interpretations / K.R.Apt,M.Gabbrielli,D.Pedreschi, 1994. - 31 p. - Текст : непосредственный.Olderog E.-R. Using transformations to verify parallel programs / E.-R.Olderog,K.R.Apt, 1989. - 27 p. - Текст : непосредственный.Apt K.R. The STO-problem is NP-hard / K.R.Apt,E.van Baas,A.Welling, 1994. - 7 p. - Текст : непосредственный.Apt K.R. Comparing negation in logic programming and in prolog / K.R.Apt,F.Teusink, 1994. - 18 p. - Текст : непосредственный.Apt K.R. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный.Apt K.R. Introduction to program verification / K.R.Apt,E.-R.Olderog, 1990. - 70 p. - Текст : непосредственный.Apt K.R. Proving termination of general Prolog programs / K.R.Apt,D.Pedreschi, 1991. - 23 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Apt K.R. Declarative programming in Prolog / K.R.Apt, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Reasoning about Prolog programs:from modes through types to assertions / K.R.Apt,E.Marchiori, 1993. - 22 p. - Текст : непосредственный.Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog, 1997. - XVII,364 p. p. - Текст : непосредственный.Apt K.R. From chaotic iteration to constraint propagation / K.R.Apt, 1997. - 17 p. - Текст : непосредственный.Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.Apt K.R. Studies in pure Prolog: termination / K.R.Apt,D.Pedreschi, 1990. - 25 p. - Текст : непосредственный.
Показать все результатыApt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog, 1997. - XVII,364 p. p. - Текст : непосредственный.Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.-R.Olderog, 1991. - XIV,441 p. p. - Текст : непосредственный.Apt K. Verification of sequential and concurrent programs / K. Apt, F. Boer, E. Olderog, 2009 r=on-line. - Текст : электронный.
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный.Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный.Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный.Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.
Показать все результатыGroote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F. Tip, 1994. - 58 p. - Текст : непосредственный.
Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11,05.13.16 / С. В. Панков, 1995. - 25 с. - Текст : непосредственный.Мурзина В.Ф. The polymodal logic based on A-spaces / В.Ф.Мурзина, 2000. - 14 p. - Текст : непосредственный.Olderog E.-R. Using transformations to verify parallel programs / E.-R.Olderog,K.R.Apt, 1989. - 27 p. - Текст : непосредственный.Ивановский С.А. Разработка корректных программ : Учеб.пособие / С.А.Ивановский, 1996. - 63 с. - Текст : непосредственный.Apt K.R. Introduction to program verification / K.R.Apt,E.-R.Olderog, 1990. - 70 p. - Текст : непосредственный.Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog, 1997. - XVII,364 p. p. - Текст : непосредственный.Arts T. Verifying a smart design of TCAP : A synergetic experience / T.Arts,I.A. van Langevelde, 1999. - 65 p. - Текст : непосредственный.Shankland C. tree identify protocol of IEEE 1394 in uCRL / C.Shankland,M. van der Zwaag, 1998. - 22 p. - Текст : непосредственный. Панков С.В. Верификация асинхронных параллельных систем на основе L-программ : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / С. В. Панков, 1996. - 25 с. - Текст : непосредственный.Computer aided verification : 12th Intern., Chicago(Il), July 15-19, 2000: Proc. / Ed.: E. A. Emerson, A. P. Sistla, 2000. - 582 p. - Текст : непосредственный.Непомнящий В.А. A new language Basic-Real for specification and verification of distributed system models / В. А. Непомнящий, N. V. Shilov, E. V. Bodin, 1999. - 39 p. - Текст : непосредственный.Dechering P.F.G. Towards automated verification of SPLICE in uCRL / P.F.G.Dechering,I.A. van Langevelde, 2000. - 44 p. - Текст : непосредственный.Lohrey M. Konfluenzproblem fur Spurersetzungssysteme : Diss. / M.Lohrey, 1999. - 140 S. - Текст : непосредственный. Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽