Новый математический аппарат для анализа внешнего поведения и верификации программ
2848
Купить
Краткое содержание:
Экранизация книги

Новый математический аппарат для анализа внешнего поведения и верификации программ

Автор:
Абрамова Нина Александровна (д-р техн. наук)
Год:
1998
Язык:
Русский
Страниц:
109
Заглавие серии:
Препринт / Рос. акад. наук, Ин-т проблем упр.
Описание:
Абрамова Н. А., Нина Александровна, Баталина Т. С. Новый математический аппарат для анализа внешнего поведения и верификации программ / Н.А. Абрамова, Т.С. Баталина, Н.А. Гегамов, С.В. Коврига. - М. : Ин-т проблем упр., 1998. - 109 с. : ил. ; 20 см. - (Препринт / Рос. акад. наук, Ин-т проблем упр.). - Библиогр.: с. 95-98
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Библиогр.: с. 95-98
Дата создания:
2019-10-13 04:34:10
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Новый математический аппарат для анализа внешнего поведения и верификации программ

Заказать реферат Узнать стоимость Скачать пример
Олег Кировский. Как делать сложные системы безопасными для людей
Олег Кировский, эксперт Яндекс.Self Driving Cars, расскажет на примере мобильных роботов, как делать сложные систем...
Школа системного анализа
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Новый математический аппарат для анализа внешнего поведения и верификации программ
Опросы
Кто издал книгу?
Автор на свои деньги
Другое
Не знаю
Содержание

Реставрация Новый математический аппарат для анализа внешнего поведения и верификации программ

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Вячеслав Шебанов — Системы типов в двух словах
Ближайшая конференция — HolyJS 2020 Piter 22-25 июня, Online Подробности и билеты: https://bit.ly/hollyJS2020 . История систем типо...
HolyJS
Digital Economy. Лекция 3. Воронка подбора инвестпроектов. Часть 1: Анализ компаний
Ссылки для самостоятельной работы: Google Cemetery: https://gcemetery.co Официальный сайт компании - примера из лекции:...
Александр Брисколони
Курс «Профайлинг для службы ИБ». День 2. Профайлинг в области безопасности и управления кадрами.
Тестируйте «СёрчИнформ ProfileCenter» https://searchinform.ru/products/try-for-free/?product=pc.
SearchInform
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №17, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Московская, 53
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-15:00
 +996 (312) 38-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Карагандинская областная юношеская библиотека им. Ж. Бектурова, Управление культуры, архивов и документации Карагандинской области
Карагандинская область, Караганда, Казыбек Би район
Ержанова, 8а
Расположение на карте
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
Вс: 09:00-18:00
www.uniorlib.kz
 +7 (7212) 43-06-50 +7 (7212) 43-06-49 +7 (7212) 43-06-48 +7 (7212) 43-07-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №200
Москва, Москва, Кунцево район
Ивана Франко, 32 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/club85588260
Facebook:  https://facebook.com/groups/854474938030303
 +7 (495) 417-41-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Умней, библиотека информационно-образовательных ресурсов
Москва, Москва, Таганский район
Нижегородская, 32 ст4
Расположение на карте
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
umney.ru
 8-800-200-61-01 +7 (495) 221-79-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Елизово
Камчатский край, Елизовский район, Елизово
Рябикова, 40
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-17:00
elizovolib.ru
elizovolib.kamch.muzkult.ru
Вконтакте:  https://vk.com/biblio_elizovo
 +7 (41531) 6-46-84 +7 (41531) 6-22-15 +7 (41531) 6-47-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20
Воронежская область, Воронеж городской округ, Воронеж, Железнодорожный район
Артамонова, 38
Расположение на карте
санитарный день: последний чт месяца; зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Областная детская библиотека им. В. Маяковского
Челябинская область, Челябинский городской округ, Челябинск, Центральный район
Коммуны, 129
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.chodb.ru
Вконтакте:  https://vk.com/club31992762
 +7 (351) 263-82-21 +7 (351) 263-38-91 +7 (351) 263-07-04 +7 (351) 265-29-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Ю.Н. Либединского, МКУ Централизованная Библиотечная Система
Челябинская область, Миасский городской округ, Миасс, Машгородок ж/м
Октября проспект, 9
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 53-63-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Усть-Хмелёвка
Новосибирская область, Ордынский район, д. Усть-Хмелёвка
Советская, 37
Расположение на карте
Вт: 12:00-15:25
Ср: 12:00-15:25
Чт: 12:00-15:25
Пт: 12:00-15:25
Сб: 12:00-15:25
 +7 (38359) 4-75-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ульяновская областная научная библиотека им. В.И. Ленина
Ульяновская область, Ульяновск городской округ, Ульяновск, Ленинский район, Центр м-н
Карамзина переулок, 3
Расположение на карте
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
uonb.ru
Вконтакте:  https://vk.com/ul_uonb
Инстаграм:  https://instagram.com/ul_library
Одноклассники:  https://ok.ru/group/53183648301266
Твиттер:  https://twitter.com/@ul_library1
 +7 (8422) 44-30-99 +7 (8422) 44-11-83 +7 (8422) 44-03-41 +7 (8422) 44-30-41
Показать номер
Курс «Профайлинг для службы ИБ». День 2. Профайлинг в области безопасности и управления кадрами.
Запись курса Алексея Филатова. Апрель 2020 г. Современный профайлинг в области безопасности и верификации...
Алексей Филатов Комплексный подход к проектированию изделия авиационной техники. Цифровая сертификация.
Традиционный подход к созданию современной авиационной техники, включая бортовое оборудование и программ...
Siemens Software Тихоцкий: петрофизическое моделирование осадочных пород
17 мая 2017 года на ученом совете ИФЗ РАН был представлен доклад директора Института физики Земли чл.-корр....
Товарищество Эта Лекция 1 | Тестирование на основе моделей | Виктор Кулямин
Лекция 1 | Курс: Тестирование на основе моделей | Лектор: Виктор Кулямин | Организатор: Computer Science клуб при ПОМИ...
Лекториум
Рецензии и отзывы
Егор Петров
Новый математический аппарат для анализа внешнего поведения и верификации программ. В данной книге описывается несколько различных методов, при помощи которых вы можете исследовать эти качества у подопытных животных, особенно у бегемотов.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №17, Централизованная библиотечная система
Бишкек, Бишкек, Свердловский район
Московская, 53
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-15:00
 +996 (312) 38-32-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Карагандинская областная юношеская библиотека им. Ж. Бектурова, Управление культуры, архивов и документации Карагандинской области
Карагандинская область, Караганда, Казыбек Би район
Ержанова, 8а
Расположение на карте
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
Вс: 09:00-18:00
www.uniorlib.kz
 +7 (7212) 43-06-50 +7 (7212) 43-06-49 +7 (7212) 43-06-48 +7 (7212) 43-07-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №200
Москва, Москва, Кунцево район
Ивана Франко, 32 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/club85588260
Facebook:  https://facebook.com/groups/854474938030303
 +7 (495) 417-41-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Умней, библиотека информационно-образовательных ресурсов
Москва, Москва, Таганский район
Нижегородская, 32 ст4
Расположение на карте
Пн: 09:30-18:00
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
umney.ru
 8-800-200-61-01 +7 (495) 221-79-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Елизово
Камчатский край, Елизовский район, Елизово
Рябикова, 40
Расположение на карте
санитарный день: последняя ср месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-17:00
elizovolib.ru
elizovolib.kamch.muzkult.ru
Вконтакте:  https://vk.com/biblio_elizovo
 +7 (41531) 6-46-84 +7 (41531) 6-22-15 +7 (41531) 6-47-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20
Воронежская область, Воронеж городской округ, Воронеж, Железнодорожный район
Артамонова, 38
Расположение на карте
санитарный день: последний чт месяца; зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Областная детская библиотека им. В. Маяковского
Челябинская область, Челябинский городской округ, Челябинск, Центральный район
Коммуны, 129
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 10:00-18:00; санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
www.chodb.ru
Вконтакте:  https://vk.com/club31992762
 +7 (351) 263-82-21 +7 (351) 263-38-91 +7 (351) 263-07-04 +7 (351) 265-29-60
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. Ю.Н. Либединского, МКУ Централизованная Библиотечная Система
Челябинская область, Миасский городской округ, Миасс, Машгородок ж/м
Октября проспект, 9
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
Вс: 10:00-18:00
www.miasslib.ru
Вконтакте:  https://vk.com/miasslib
Facebook:  https://facebook.com/miasslib
Одноклассники:  https://ok.ru/miasslib
 +7 (3513) 53-63-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, д. Усть-Хмелёвка
Новосибирская область, Ордынский район, д. Усть-Хмелёвка
Советская, 37
Расположение на карте
Вт: 12:00-15:25
Ср: 12:00-15:25
Чт: 12:00-15:25
Пт: 12:00-15:25
Сб: 12:00-15:25
 +7 (38359) 4-75-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ульяновская областная научная библиотека им. В.И. Ленина
Ульяновская область, Ульяновск городской округ, Ульяновск, Ленинский район, Центр м-н
Карамзина переулок, 3
Расположение на карте
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
uonb.ru
Вконтакте:  https://vk.com/ul_uonb
Инстаграм:  https://instagram.com/ul_library
Одноклассники:  https://ok.ru/group/53183648301266
Твиттер:  https://twitter.com/@ul_library1
 +7 (8422) 44-30-99 +7 (8422) 44-11-83 +7 (8422) 44-03-41 +7 (8422) 44-30-41
Показать номер
Информация от пользователей
Азат Нагирян
Новый математический аппарат для анализа внешнего поведения и верификации программ. В данной книге описывается новый математический аппарат, позволяющий получать информацию о взаимодействии двух объектов, обладающих различными свойствами. Этот аппарат впервые позволит провести сравнительный анализ поведения сложных объектов и оценить степень их идентичности. В книге также дается описание нового подхода к построению моделей, позволяющего проводить верификацию относительно новых для этой области знаний идей, в том числе и связанных с построением математических моделей.
Прикрепить файл
Книга находятся в категориях.