Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

1920

Купить

Краткое содержание:

Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Name: Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification
Rating: 4.5

Авторы:

Непомнящий В. А.
Мацко Е. А.

Год:

2003

Язык:

Русский

Страниц:

Заглавие серии:

Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 102

Описание:

Непомнящий В. А., Мацко Е. А., Мацко Е. А. Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification / В.А. Непомнящий, Е.А. Мацко. - Новосибирск : Ин-т систем информатики, 2003. - 37 с. ; 20 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 102). - Библиогр.: с. 37 (16 назв.)

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Линейная алгебра → Задачи → Решение на счетных машинах

Примечания:

Авт. также на англ. яз.: V.A. Nepomniaschy, E.A. Matsko . - Библиогр.: с. 37 (16 назв.)

Автор (ред., сост., организация):

Мацко, Е. А.

Дата создания:

2022-01-20 01:14:48

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Юнацька бібліотека ім. Є. Кравченко

Киев город со специальным статусом, Київ, Дніпровський район, Русанівка
Русанівська Набережна, 24
Расположение на карте

санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека №66

Москва, Москва, Северное Медведково район
Северодвинская, 11 к2
Расположение на карте

санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00

+7 (495) 474-12-91 +7 (495) 474-10-96

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Стенькинская сельская библиотека

Рязанская область, Рязанский район, пос. Учхоза "Стенькино"
Центральная, 1
Расположение на карте

Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Шильнебашская сельская библиотека

Республика Татарстан, Тукаевский район, с. Шильнебаш
60 лет Октября, 2а
Расположение на карте

Пн: 09:00-12:00 18:00-21:00
Вт: 09:00-12:00 18:00-21:00
Ср: 09:00-12:00 18:00-21:00
Чт: 09:00-12:00 18:00-21:00
Пт: 09:00-12:00 18:00-21:00
Сб: 09:00-12:00 18:00-21:00

+7 (8552) 37-53-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №1

Самарская область, Самара городской округ, Самара, Октябрьский район
Карла Маркса проспект, 165
Расположение на карте

санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00

smibs.ru
Вконтакте: https://vk.com/club144282530

+7 (846) 260-42-53 +7 (846) 264-16-59

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека №12

Ивановская область, Иваново городской округ, Иваново, Фрунзенский район
Героя Советского Союза Сахарова, 58
Расположение на карте

санитарный день: 1, 16 числа месяца
Вт: 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 (4932) 38-55-80

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Адлерского района г. Сочи

Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Калиновое Озеро
Центральная, 31
Расположение на карте

Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00

library-adler.ru

+7 (862) 240-20-38

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

БИОР, ЧУ, библиотека информационно-образовательных ресурсов, Череповецкий филиал

Вологодская область, Череповец городской округ, Череповец
Маяковского, 15
Расположение на карте

Пн: 09:00-19:30
Вт: 09:00-19:30
Ср: 09:00-19:30
Чт: 09:00-19:30
Пт: 09:00-19:30
Сб: 09:00-17:00

umney.ru

+7-931-510-30-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Медицинская библиотека городского центра медицинской профилактики г. Санкт-Петербурга

Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Итальянская, 25
Расположение на карте

санитарный день: последняя пт месяца
Пн: 11:00-19:30
Вт: 11:00-19:30
Ср: 11:00-19:30
Чт: 11:00-19:30
Пт: 11:00-19:30
Сб: 11:00-18:00

+7 (812) 246-69-07 +7 (812) 246-69-73

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

Ставропольский край, Ставрополь городской округ, Ставрополь, Октябрьский район, 14-й микрорайон
Пригородная, 213/3
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 36-72-78

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Юнацька бібліотека ім. Є. Кравченко

санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная детская библиотека №66

Москва, Москва, Северное Медведково район
Северодвинская, 11 к2
Расположение на карте

санитарный день: последний вт месяца
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00

+7 (495) 474-12-91 +7 (495) 474-10-96

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Стенькинская сельская библиотека

Рязанская область, Рязанский район, пос. Учхоза "Стенькино"
Центральная, 1
Расположение на карте

Пн: 11:00-14:00 15:00-18:00
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Шильнебашская сельская библиотека

Республика Татарстан, Тукаевский район, с. Шильнебаш
60 лет Октября, 2а
Расположение на карте

Пн: 09:00-12:00 18:00-21:00
Вт: 09:00-12:00 18:00-21:00
Ср: 09:00-12:00 18:00-21:00
Чт: 09:00-12:00 18:00-21:00
Пт: 09:00-12:00 18:00-21:00
Сб: 09:00-12:00 18:00-21:00

+7 (8552) 37-53-11

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №1

санитарный день: первый чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00

smibs.ru
Вконтакте: https://vk.com/club144282530

+7 (846) 260-42-53 +7 (846) 264-16-59

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Городская библиотека №12

санитарный день: 1, 16 числа месяца
Вт: 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 (4932) 38-55-80

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система Адлерского района г. Сочи

Пн: 12:00-18:00
Вт: 12:00-18:00
Ср: 12:00-18:00
Чт: 12:00-18:00
Пт: 12:00-18:00
Сб: 12:00-18:00

library-adler.ru

+7 (862) 240-20-38

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

БИОР, ЧУ, библиотека информационно-образовательных ресурсов, Череповецкий филиал

Вологодская область, Череповец городской округ, Череповец
Маяковского, 15
Расположение на карте

Пн: 09:00-19:30
Вт: 09:00-19:30
Ср: 09:00-19:30
Чт: 09:00-19:30
Пт: 09:00-19:30
Сб: 09:00-17:00

umney.ru

+7-931-510-30-50

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Медицинская библиотека городского центра медицинской профилактики г. Санкт-Петербурга

Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Итальянская, 25
Расположение на карте

санитарный день: последняя пт месяца
Пн: 11:00-19:30
Вт: 11:00-19:30
Ср: 11:00-19:30
Чт: 11:00-19:30
Пт: 11:00-19:30
Сб: 11:00-18:00

+7 (812) 246-69-07 +7 (812) 246-69-73

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Ставропольская централизованная библиотечная система

санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

www.stav-cbs.ru
Facebook: https://facebook.com/350511671813258

+7 (8652) 36-72-78

Показать номер