Приложение
для AndroidПолное описание
Shankland, C. The tree identify protocol of IEEE 1394 in uCRL / C.Shankland,M. van der Zwaag. - Amsterdam : [s. n.], 1998. - 22 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9831). - 10.00 р. - Текст : непосредственный.
Библиогр.:с.19-20
| ГРНТИ | УДК | |
| 50.05.13 | 004.415.28 | |
| 004.415.535 |
Рубрики:
Программы для ЭВМ -- Спецификация
Программы для ЭВМ -- Верификация
Кл.слова (ненормированные): программа -- программа
Доп. точки доступа:
Zwaag, M. van der
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K.E.Shahroudi, 1997. - 14 p. - Текст : непосредственный.Shahroudi K.E. Aircraft conceptual design by collaborative manual and automatic agents / K.E.Shahroudi, 1997. - 8 p. - Текст : непосредственный.Shahroudi K.E. Flipping the analytical coin: closing the information flow loop in high speed (real time) analysis / K.E.Shahroudi, 1997. - 11 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Everaars C.T.H. Using coordination to parallelize sparse-grid methods for 3D CFD problems / C.T.H.Everaars,B.Koren, 1997. - 23 p. - Текст : непосредственный.Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный.Wijk J.J.van A model for strategy in constraint solving / J.J.van Wijk, 1997. - 13 p. - Текст : непосредственный.Liere R.van Steering smog prediction / R.van Liere,J.J.vanWijk, 1997. - 9 p. - Текст : непосредственный.Mulder J.D. Parametrizable cameras for 3D computational steering / J.D.Mulder,J.J.van Wijk, 1997. - 9 p. - Текст : непосредственный.Wijk J.J.van Bringing computational steering to the user / J.J.van Wijk,R.vanLiere,J.D.Mulder, 1997. - 14 p. - Текст : непосредственный.Interactive exploration and modeling of large data sets: A case study with Venus light scattering data / J.J.van Wijk,H.J.W.Spoelder,W.J.J.Knibbe,K.E.Shahroudi, 1997. - 6 p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный.Warners J.P. Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems / J.P.Warners, 1997. - 18 p. - Текст : непосредственный.Groote J.F. The syntax and semantics of timed uCRL / J.F.Groote, 1997. - 42 p. - Текст : непосредственный.Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 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. - Текст : непосредственный.Winter D.T. A package for long integer arithmetic on the Cray Y-MP / D.T.Winter, 1992. - 17 p. - Текст : непосредственный.Dinesh T.B. Animators and error reporters for generated programming environments / T.B.Dinesh,F.Tip, 1992. - 98 p. - Текст : непосредственный.Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 p. - Текст : непосредственный.Rutten E.P.B.M. Semantics of Manifold: specification in ASF + SDF and extension / E.P.B.M.Rutten,S.Thiebaux, 1992. - 99 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. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1995. - 219 c. - Текст : непосредственный.Groote J.F. Algebraic verification of a distributed summation algorithm / J.F.Groote,J.G.Springintveld, 1996. - 18 p. - Текст : непосредственный.Tan Y.M. Formal specification techniques for engineering modular C programs / Y.M.Tan, 1996. - XVI,213 p. p. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.
Показать все результатыБерзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Агафонов В.Н. Анализ, организация и компьютеризация понятийных средств спецификации программ : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.11 / В. Н. Агафонов, 1994. - 41 с. - Текст : непосредственный.Рагозин А.С. Генерация и исполнение программ по спецификациям на языке SDL : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. С. Рагозин, 1999. - 21 с. - Текст : непосредственный.Покозий Е.А. Методы спецификации и верификации параллельных моделей с непрерывным временем : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Е. А. Покозий, 1999. - 16 с. - Текст : непосредственный.Кучуганов М.В. Логика фундированных действий : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.18 / М. В. Кучуганов, 2000. - 16 с. - Текст : непосредственный.Winter D.T. A package for long integer arithmetic on the Cray Y-MP / D.T.Winter, 1992. - 17 p. - Текст : непосредственный.Dinesh T.B. Animators and error reporters for generated programming environments / T.B.Dinesh,F.Tip, 1992. - 98 p. - Текст : непосредственный.Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 p. - Текст : непосредственный.Rutten E.P.B.M. Semantics of Manifold: specification in ASF + SDF and extension / E.P.B.M.Rutten,S.Thiebaux, 1992. - 99 p. - Текст : непосредственный.Recent trends in data type specification:8th workshop on specification of abstract data types with 3rd COMPASS workshop,Dourdan Aug.26-30,1991 : Selected papers / сост.ed.by M. Bidoit, сост.ed.by C. Choppy, 1993. - 344 p. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F.Tip, 1994. - 58 p. - Текст : непосредственный.Logic and algebra of specification : Proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1995. - 219 c. - Текст : непосредственный.Tan Y.M. Formal specification techniques for engineering modular C programs / Y.M.Tan, 1996. - XVI,213 p. p. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Мансуров Н.Н. Методы формальной спецификации программ: языки МSC и SDL : Учеб.пособие для студентов 4 курса фак.ВМиК / Н.Н.Мансуров,О.Л.Майлингова, 1998. - 125 с. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Field J. Equations as a uniform framework for partial evaluation and abstract interpretation / J.Field,J.Heering,T.B.Dinesh, 1997. - 6 p. - Текст : непосредственный.Corradini A. complete calculus for equational deduction in coalgebraic specification / A.Corradini, 1997. - 24 p. - Текст : непосредственный.Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽