Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

2039

Купить

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

Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Name: Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11
Rating: 4.5

Автор:

Посыпкин Михаил Анатольевич

Год:

2004

Язык:

Русский

Коллекции:

Авторефераты

Описание:

Посыпкин М. А. Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11 / Посыпкин Михаил Анатольевич; Ин-т систем. программирования РАН. - М., 2004. - 22 c. ; 21 см. - Библиогр.: с. 22 (4 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 22 (4 назв.)

ББК:

32.973.202-018.2+32.973.26-018+32.973.26-018.1+32.973.26-018. 2

Скачать:

Просмотр и скачивание в формате PDF

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

2021-03-20 17:18:58

Соц. сети:

Важно

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

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

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

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

Реферат по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

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

Курсовая по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

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

ВКР/Диплом по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

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

Диссертация по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

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

Заработать на знаниях по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

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

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

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

Режим работы

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

Телефон

Бібліотека ім. В.П. Чкалова

Киев город со специальным статусом, Київ, Солом'янський район, Солом'янка
Кавказька, 7
Расположение на карте

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

biblioformat.blogspot.com

+380 (44) 248-61-56

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

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

Режим работы

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

Телефон

Библиотека им. А.П. Чехова

Амурская область, Благовещенск городской округ, Благовещенск
Комсомольская, 3
Расположение на карте

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

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-05

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

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

Режим работы

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

Телефон

Межпоселенческая библиотека, МБУК

Московская область, Ленинский район, пос. Совхоз имени Ленина
Совхоз имени Ленина посёлок, 18а
Расположение на карте

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

biblio-vidnoe.ru
Вконтакте: https://vk.com/club35532545
Facebook: https://facebook.com/270433469696779
Одноклассники: https://ok.ru/group51792503111896

+7 (498) 540-22-14

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

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

Режим работы

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

Телефон

Акияровская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района

Тюменская область, Тюменский район, д. Большие Акияры
Школьная, 136
Расположение на карте

летний период: вт-сб 11:00-21:00, перерыв: 13:00-16:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

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

Режим работы

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

Телефон

Центр правовой информации

Архангельская область, Новодвинск городской округ, Новодвинск
Мельникова, 12а
Расположение на карте

зимний период: пн-пт 10:00-17:00; санитарный день: последняя ср месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-16:00

ncbs.arkh.muzkult.ru

+7 (81852) 5-01-15 +7 (81852) 4-51-00

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

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

Режим работы

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

Телефон

Детская библиотека им. В.М. Комарова

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Ленинский район
Снежная, 25/4
Расположение на карте

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

Вконтакте: https://vk.com/komarovabib

+7 (831) 244-07-87

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

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

Режим работы

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

Телефон

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

Воронежская область, Воронеж городской округ, Воронеж, Железнодорожный район
Куйбышева, 23а
Расположение на карте

зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00

+7 (473) 241-40-42

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

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

Режим работы

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

Телефон

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

Краснодарский край, Сочи городской округ, Сочи, Центральный район
Чайковского, 4
Расположение на карте

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

library-sochi.ru

+7 (862) 253-17-04 +7 (862) 253-16-74

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

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

Режим работы

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

Телефон

Библиотека №20 им. М.И. Юдалевича

Алтайский край, Барнаул городской округ, Барнаул, Октябрьский район
Ленина проспект, 165
Расположение на карте

санитарный день: 15 число месяца
Пн: 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 (3852) 77-68-10

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

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

Режим работы

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

Телефон

Центральная межпоселенческая библиотека, с. Турунтаево

Республика Бурятия, Прибайкальский район, с. Турунтаево
Ленина, 75
Расположение на карте

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

+7 (30144) 41-6-61

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

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

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

Режим работы

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

Телефон

Бібліотека ім. В.П. Чкалова

Киев город со специальным статусом, Київ, Солом'янський район, Солом'янка
Кавказька, 7
Расположение на карте

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

biblioformat.blogspot.com

+380 (44) 248-61-56

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

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

Режим работы

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

Телефон

Библиотека им. А.П. Чехова

Амурская область, Благовещенск городской округ, Благовещенск
Комсомольская, 3
Расположение на карте

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

biblioblag.ru
Вконтакте: https://vk.com/biblioblag
Инстаграм: https://instagram.com/biblioteka_blag
Одноклассники: https://ok.ru/biblioblag

+7 (4162) 49-49-05

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

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

Режим работы

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

Телефон

Межпоселенческая библиотека, МБУК

Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

biblio-vidnoe.ru
Вконтакте: https://vk.com/club35532545
Facebook: https://facebook.com/270433469696779
Одноклассники: https://ok.ru/group51792503111896

+7 (498) 540-22-14

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

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

Режим работы

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

Телефон

Тюменская область, Тюменский район, д. Большие Акияры
Школьная, 136
Расположение на карте

летний период: вт-сб 11:00-21:00, перерыв: 13:00-16:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

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

Режим работы

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

Телефон

Центр правовой информации

Архангельская область, Новодвинск городской округ, Новодвинск
Мельникова, 12а
Расположение на карте

ncbs.arkh.muzkult.ru

+7 (81852) 5-01-15 +7 (81852) 4-51-00

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

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

Режим работы

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

Телефон

Детская библиотека им. В.М. Комарова

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

Вконтакте: https://vk.com/komarovabib

+7 (831) 244-07-87

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

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

Режим работы

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

Телефон

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

зимний период: вт-вс 10:00-19:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00

+7 (473) 241-40-42

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

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

Режим работы

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

Телефон

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

Краснодарский край, Сочи городской округ, Сочи, Центральный район
Чайковского, 4
Расположение на карте

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

library-sochi.ru

+7 (862) 253-17-04 +7 (862) 253-16-74

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

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

Режим работы

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

Телефон

Библиотека №20 им. М.И. Юдалевича

санитарный день: 15 число месяца
Пн: 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 (3852) 77-68-10

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

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

Режим работы

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

Телефон

Центральная межпоселенческая библиотека, с. Турунтаево

Республика Бурятия, Прибайкальский район, с. Турунтаево
Ленина, 75
Расположение на карте

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

+7 (30144) 41-6-61

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

Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Купить

Реферат по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Курсовая по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

ВКР/Диплом по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Диссертация по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Заработать на знаниях по теме Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11

Реставрация Применение формальных методов для тестирования компиляторов : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.11