Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем - Статья

Дисциплины научных работ

• Астрономия и космонавтика (1640)
• Банковское, биржевое дело и страхование (17130)
• Безопасность жизнедеятельности и охрана труда (9694)
• Биология и естествознание (15089)
• Бухгалтерский учет и аудит (21807)
• Военное дело и гражданская оборона (2427)
• География и экономическая география (6683)
• Геология, гидрология и геодезия (8085)
• Государство и право (90982)
• Журналистика, издательское дело и СМИ (4628)
• Иностранные языки и языкознание (18669)
• История и исторические личности (32049)
• Коммуникации, связь, цифровые приборы и радиоэлектроника (13962)
• Краеведение и этнография (2068)
• Кулинария и продукты питания (6325)
• Культура и искусство (15897)
• Литература (13524)
• Маркетинг, реклама и торговля (29173)
• Математика (7120)
• Медицина (54840)
• Международные отношения и мировая экономика (13612)
• Менеджмент и трудовые отношения (47894)
• Музыка (2448)
• Педагогика (53477)
• Политология (9287)
• Программирование, компьютеры и кибернетика (36416)
• Производство и технологии (36631)
• Психология (32092)
• Разное (372)
• Религия и мифология (4346)
• Рубрика (44)
• Сельское, лесное хозяйство и землепользование (19996)
• Социология и обществознание (18330)
• Спорт и туризм (14943)
• Строительство и архитектура (12880)
• Таможенная система (2637)
• Транспорт (14967)
• Физика и энергетика (24517)
• Философия (14270)
• Финансы, деньги и налоги (33984)
• Химия (9719)
• Экология и охрана природы (12280)
• Экономика и экономическая теория (75840)
• Экономико-математическое моделирование (4303)
• Этика и эстетика (2616)