Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
1740
Краткое содержание:
Экранизация книги

Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)

Автор:
Антимиров Валентин Максимильянович
Год:
1988
Язык:
Русский
Страниц:
16
Описание:
Антимиров В.М. Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09) / Киев. гос. ун-т им. Т.Г. Шевченко. - Киев, 1988. - 16 с. - Библиогр.: с. 16 (9 назв.)
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Библиогр.: с. 16 (9 назв.)
Дата создания:
2020-06-02 21:28:21
Соц. сети:
002. Теория и практика формального моделирования уязвимостей - Владимир Кочетков
Владимир Кочетков расскажет о построении формальных моделей уязвимостей к различным классам атак и о практическом применении этих моделей ...
Компьютерные науки
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
Вам эта книга понравилась?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
К вопросу построения инструмента формальной верификации смарт-контрактов
Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: дедуктивные методы формальной ...
ИСП РАН
Методы и средства реализации программно-управляемого процесса разработки ПО критически важных систем
Самонов Александр Валерьянович — старший научный сотрудник Военно-космической академии имени А.Ф. Можайского, кандидат технических наук, ...
ИСП РАН
Елена Бенкен. Тестирование и документирование API-методов с помощью Postman
Елена Бенкен, инструктор Школы системного анализа, автор курса по интеграции ИТ-систем https://systems.education/integrations Елена расскажет, что ...
Школа системного анализа
Название и адрес
Режим работы
Телефон
Луговская библиотека
Московская область, Лобня городской округ, Лобня, Луговая м-н
Научный городок, ст1Б
Расположение на карте
Пн: 15:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-19:00
Вс: 15:00-22:00
 +7 (495) 577-79-37
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Дворец культуры им. Г. Конина
Московская область, Егорьевск городской округ, Егорьевск
Советская, 174
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (49640) 3-15-47
Показать номер
Название и адрес
Режим работы
Телефон
Тюменская областная научная библиотека им. Д.И. Менделеева
Тюменская область, Тюмень городской округ, Тюмень, Центральный округ
Орджоникидзе, 59
Расположение на карте
Вт: 09:00-22:00
Ср: 09:00-22:00
Чт: 09:00-22:00
Пт: 09:00-22:00
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (3452) 565-051 +7 (3452) 565-300
Показать номер
Название и адрес
Режим работы
Телефон
Центральная, библиотека
Томская область, Томск городской округ, Томск, Кировский район
Красноармейская, 119
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 11:00-19:00; сб-вс выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (3822) 56-17-60
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №19
Саратовская область, Саратов городской округ, Саратов, Техстекло
им. Ломоносова М.В., 6
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 63-80-15
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №16, г. Энгельс
Саратовская область, Энгельсский район, рп. Приволжский, Мясокомбинат
Мясокомбинат, 10Б
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (8453) 75-04-95
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №21
Вологодская область, Вологда городской округ, Вологда, Ковырино
Гагарина, 35
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (8172) 53-18-71
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №3, Курортный район
Санкт-Петербург, Санкт-Петербург, Курортный район, МО "п. Комарово"
Дачная 3-я, 8
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Ср: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (812) 433-75-80 +7 (812) 246-24-12
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №9, г. Стерлитамак
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Восточный
Щербакова, 7
Расположение на карте
санитарный день: первая ср месяца
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-17:00
 +7 (3473) 25-66-01
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №2, г. Зеленодольск
Республика Татарстан, Зеленодольский район, Зеленодольск
Большая Заводская, 75
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Эконометрика. Лекция 1. Качественные и количественные методы современной экономики
1. Экономика равновесия. 2. Методы статистического моделирования равновесных процессов. 3. Оптимизационные компьютерные технологии ...
Образование для всех BORO и инженерия требований. Урок 2. Основы BORO.
Как улучшить качество бизнес-требований с помощью метода реинжиниринга предметной области методом BORO?
Alexander Turkhanov Почему Шалыто прав насчёт открытых спецификаций?
http://0x1.tv/20180126B Почему Шалыто прав насчёт открытых спецификаций? (Николай Непейвода, OSEDUCONF-2018) * Николай Непейвода ...
Stas Fomin 7. БиСА. Документирование требований
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана Курс "Бизнес и системный анализ для архитекторов (осень 2014) Лекция №7 - "Документирование ...
Технострим Mail.Ru Group
Егор Петров
Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). В данной книге описывается концептуальный инструментарий разработки формальных спецификаций, позволяющий на их основе создавать реестры дел.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Луговская библиотека
Московская область, Лобня городской округ, Лобня, Луговая м-н
Научный городок, ст1Б
Расположение на карте
Пн: 15:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-19:00
Вс: 15:00-22:00
 +7 (495) 577-79-37
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека, Дворец культуры им. Г. Конина
Московская область, Егорьевск городской округ, Егорьевск
Советская, 174
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (49640) 3-15-47
Показать номер
Название и адрес
Режим работы
Телефон
Тюменская областная научная библиотека им. Д.И. Менделеева
Тюменская область, Тюмень городской округ, Тюмень, Центральный округ
Орджоникидзе, 59
Расположение на карте
Вт: 09:00-22:00
Ср: 09:00-22:00
Чт: 09:00-22:00
Пт: 09:00-22:00
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (3452) 565-051 +7 (3452) 565-300
Показать номер
Название и адрес
Режим работы
Телефон
Центральная, библиотека
Томская область, Томск городской округ, Томск, Кировский район
Красноармейская, 119
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 11:00-19:00; сб-вс выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (3822) 56-17-60
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №19
Саратовская область, Саратов городской округ, Саратов, Техстекло
им. Ломоносова М.В., 6
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 +7 (8452) 63-80-15
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №16, г. Энгельс
Саратовская область, Энгельсский район, рп. Приволжский, Мясокомбинат
Мясокомбинат, 10Б
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (8453) 75-04-95
Показать номер
Название и адрес
Режим работы
Телефон
Городская библиотека №21
Вологодская область, Вологда городской округ, Вологда, Ковырино
Гагарина, 35
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (8172) 53-18-71
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №3, Курортный район
Санкт-Петербург, Санкт-Петербург, Курортный район, МО "п. Комарово"
Дачная 3-я, 8
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-18:00
Ср: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00
Вс: 12:00-18:00
 +7 (812) 433-75-80 +7 (812) 246-24-12
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №9, г. Стерлитамак
Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Восточный
Щербакова, 7
Расположение на карте
санитарный день: первая ср месяца
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Сб: 09:00-17:00
 +7 (3473) 25-66-01
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №2, г. Зеленодольск
Республика Татарстан, Зеленодольский район, Зеленодольск
Большая Заводская, 75
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Азат Нагирян
Методы и средства построения формальных спецификаций : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). В данной книге описывается
Прикрепить файл