Приложение
для AndroidПолное описание
Specification and verification of concurrent systems : papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / Workshop on specification and verification of concurrent systems (1988; Stirling) ; Ed.: C.Rattray. - London [etc.] : Springer, 1990. - VIII, 612 p. мкф. : ill. - (Workshops in computing ; 07). - ISBN 3-540-19581-5 : 35.00 р. - Текст : непосредственный.
Перевод заглавия: Спецификация и верификация параллельных систем:Докл. семинара BCS-FACS, Стирлинг, 1988
ГРНТИ 50.07.07
Кл.слова (ненормированные): верификация параллельной системы
Доп. точки доступа:
Rattray, C.\ed.\
Workshop on specification and verification of concurrent systems (1988 ; Stirling)
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Security for object-oriented systems : Proc.of the OOPSLA-93 conf.workshop on security for object-oriented systems,Washington(DC),26 Sept.1993 / ed. B. Thuraisingham, 1994. - VI,234 p. p. - Текст : непосредственный.AI and cognitive science'90 : Proc. of 3rd Irish conf. on artificial intelligence and cognitive science, 20-21 Sept. 1990, Ulster / сост.ed. M. F. McTear, сост.ed. N. Creaney, 1991. - XV, 392 p. 392 p. - Текст : непосредственный.Proceedings of the 4th Refinement workshop,9-11 Jan.1991,Cambridge / Refinement workshop (4 ; 1991 ; Cambridge,Ma.) , 1991. - VIII,478 p. p. - Текст : непосредственный.Security and persistence : Proc.of the intern.workshop on computer architecture to support security and persistence of information, Bremen, May 8-11,1990 / сост.ed. J. Rosenberg, сост.ed. J. L. Keedy, 1990. - 394 p. - Текст : непосредственный.Formal methods for trustworthy computer systems(FM 89) : Rep.from FM 89A workshop on the assessment of formal methods for trustworthy computer systems, July 23-27, 1989, Halifax / сост.ed. D. Craigen, 1990. - VI,248 p. p. - Текст : непосредственный.Z user workshop,Oxford 1990 : Proc.of the 5 annu.Z user meet.,Oxford 17-18 Dec. 1990 / Ed. J. E. Nicholls, 1991. - IX,387 p. p. - Текст : непосредственный.Z user workshop : Proc.of the 4th annu. Z user meeting, Oxford, 15 Dec.1989 / Ed. J. E. Nicholls, 1990. - VIII,277 p. p. - Текст : непосредственный.Proceedings of the IV Higher order workshop,Sept.10-14,1990,Banff(Alberta) / Higher order workshop (4 ; 1990 ; Banff(Alberta)) , 1991. - 283 p. - Текст : непосредственный.Functional programming : Proc.of the 1989 Glasgow workshop, Aug.21-23, 1989, Fraserburgh / Ed.: K. Davis, J. Hughes, 1990. - 409 p. - Текст : непосредственный.Semantics for concurrency : Proc. of the intern. BCS-FACS workshop 23-25 July 1990 Leicester / Ed. M. Z. Kwiatkowska, 1990. - VIII, 346 p. 346 p. - Текст : непосредственный.Persistent object systems : Proc.of the 3 Intern.workshop, 10-13 Jan, 1989, Newcastle / ed.: J. Rosenberg, D. Koch, 1990. - XVII, 408 p. 408 p. - Текст : непосредственный.Specification and verification of concurrent systems : Papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / ed. C. Rattray, 1990. - VIII, 612 p. мкф. - Текст : непосредственный.Specification and verification of concurrent systems : Papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / Workshop on specification and verification of concurrent systems (1988; Stirling), 1990. - VIII, 612 p. мкф. - Текст : непосредственный.
TOFTS-MI.Тестовая и диагностическая программа периферийного оборудования : Операционное руководство.Гл.6.Подсистема В/В / ВЦП. - 150 с. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Черноуцан В.П. Применение естественной избыточности кодов для контроля вычислительных структур : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. П. Черноуцан, 1990. - 15 с. - Текст : непосредственный.Шапилов В.Д. Исследование и разработка систем тестового технического диагностирования цифровых узлов высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Д. Шапилов, 1991. - 22 с. - Текст : непосредственный.Саидов А.А. Исследование и разработка интерактивной системы моделирования цифровых устройств для диагностики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Саидов, 1991. - 16 с. - Текст : непосредственный.Раков С.В. Автоматизированные методы верификации структуры и анализа тестов цифровых микропроцессорных устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. В. Раков, 1991. - 16 с. - Текст : непосредственный.Микони С.В. Методы и алгоритмы автоматизированного диагностирования вычислительных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.14,05.13.16 / С. В. Микони, 1991. - 38 с. - Текст : непосредственный.Вершинин С.В. Последовательная идентификация дефектов программно-управляемых систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05,05.13.12 / С. В. Вершинин, 1991. - 22 с. - Текст : непосредственный.Кащеев Н.И. Разработка методов и алгоритмов диагностирования дискретных устройств по их непрерывным моделям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Н. И. Кащеев, 1991. - 14 с. - Текст : непосредственный.Ильченко С.Н. Методы построения тестовых последовательностей для константных и временных неисправностей элементов цифровых устройств на основе их статического и динамического функционального моделирования : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Н. Ильченко, 1991. - 21 с. - Текст : непосредственный.Колчанов И.В. Исследование и разработка принципов построения функционально совместимых устройств автоматизации испытания микросборок памяти на цилиндрических магнитных доменах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / И. В. Колчанов, 1992. - 19 с. - Текст : непосредственный.Андрюшаев А.М. Анализ и синтез тестов в динамической диагностике цифровых схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. М. Андрюшаев, 1992. - 22 с. - Текст : непосредственный.Дорофеева О.С. Функциональное диагностирование вычислительных процессов на основе стандартных схем программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / О. С. Дорофеева, 1992. - 16 с. - Текст : непосредственный.Епифанов А.Ф. Функциональное диагностирование процессорных блоков по схемам алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. Ф. Епифанов, 1992. - 14 с. - Текст : непосредственный.Описание и руководство по работе интерфейсного тестера модели DIT-24 / ВЦП. - 26 c. - Текст : непосредственный.Линейный анализатор данных А-5 / ВЦП. - 94 c. - Текст : непосредственный.Тестовые кристаллы / ВЦП. - 15 c. - Текст : непосредственный.Быков Ю.В. Методы и средства для генерирования взвешенных тестовых последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05 / Ю. В. Быков, 1993. - 16 с. - Текст : непосредственный.Язневич В.И. Исследование и разработка методов и средств обеспечения и организации диагностирования высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / В. И. Язневич, 1993. - 16 с. - Текст : непосредственный.Золотарев О.А. Разработка методов и средств локализации неисправностей персональных ЭВМ : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.13 / О. А. Золотарев, 1993. - 18 с. - Текст : непосредственный.
Показать все результаты