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

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

Автор:
Абрамова Нина Александровна (д-р техн. наук)
Год:
1998
Язык:
Русский
Страниц:
109
Заглавие серии:
Препринт / Рос. акад. наук, Ин-т проблем упр.
Описание:
Абрамова Н. А., Нина Александровна, Баталина Т. С. Новый математический аппарат для анализа внешнего поведения и верификации программ / Н.А. Абрамова, Т.С. Баталина, Н.А. Гегамов, С.В. Коврига. - М. : Ин-т проблем упр., 1998. - 109 с. : ил. ; 20 см. - (Препринт / Рос. акад. наук, Ин-т проблем упр.). - Библиогр.: с. 95-98
Рейтинг по отзывам:
5
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Библиогр.: с. 95-98
Дата создания:
2019-10-13 04:34:10
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Новый математический аппарат для анализа внешнего поведения и верификации программ
Вам эта книга понравилась?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Городская библиотека №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
Название и адрес
Режим работы
Телефон
Детская библиотека №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
 +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
 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
Название и адрес
Режим работы
Телефон
Библиотека №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
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Ю.Н. Либединского, МКУ Централизованная Библиотечная Система
Челябинская область, Миасский городской округ, Миасс, Машгородок ж/м
Октября проспект, 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
 +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
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Амиталь, магазин, ИП Дияконова Т.Н.
Воронежская область, Семилукский район, Семилуки
Гагарина, 30
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-14:00
Вс: 10:00-14:00
 +7 (47372) 2-06-37
Показать номер
Название и адрес
Режим работы
Телефон
Читай-Город, сеть книжно-канцелярских магазинов
Республика Хакасия, Абакан городской округ, Абакан
Крылова, 66Б
Расположение на карте
Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
Медицинская книга, магазин
Томская область, Томск городской округ, Томск, Кировский район
Московский тракт, 6/3
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-18:00
 +7 (3822) 22-06-59
Показать номер
Название и адрес
Режим работы
Телефон
Читай-Город, магазин
Курская область, Курск городской округ, Курск, Сеймский округ, Парковая
Кулакова проспект, 20
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
Матроскин, сеть оптово-розничных магазинов
Волгоградская область, Волгоград городской округ, Волгоград, Краснооктябрьский район
39 Гвардейской Дивизии, 27
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
 +7 (8442) 501-507 +7 (8442) 98-98-53
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт, интернет-магазин
Волгоградская область, Городищенский район, рп. Городище
Маршала Чуйкова, 1в
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
 8-800-500-95-25 +7 (8442) 96-82-28
Показать номер
Название и адрес
Режим работы
Телефон
Иррион, магазин этнических товаров
Мурманская область, Мурманск городской округ, Мурманск, Первомайский округ
Каменная, 2 к3
Расположение на карте
Пн: 11:00-21:00
Вт: 11:00-21:00
Ср: 11:00-21:00
Чт: 11:00-21:00
Пт: 11:00-21:00
Сб: 11:00-21:00
Вс: 11:00-20:00
 +7 (8152) 23-01-54
Показать номер
Название и адрес
Режим работы
Телефон
Магистр, сеть книжных магазинов
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Первомайский район, 2-й посёлок Орджоникидзе
Брестская, 1
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (863) 279-39-11 +7 (863) 246-82-58
Показать номер
Название и адрес
Режим работы
Телефон
Пиши-Читай, книжный магазин
Челябинская область, Челябинский городской округ, Челябинск, Ленинский район
Гагарина, 4Б
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00
Название и адрес
Режим работы
Телефон
Альфарет, издательство
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №66 "Чёрная речка"
Белоостровская, 22
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (812) 603-23-63
Показать номер
Прикрепить файл