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

2736

Купить

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

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

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

Автор:

Петренко Александр Константинович

Год:

2003

Язык:

Русский

Страниц:

Коллекции:

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

Описание:

Петренко А. К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11 / Петренко Александр Константинович; Ин-т систем. программирования Рос. акад. наук. - М., 2003. - 59 с. : ил. ; 20 см. - Библиогр.: с. 54-58 (26 назв.) и в подстроч. примеч.

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 54-58 (26 назв.) и в подстроч. примеч.

ББК:

32.973.202-018.2+32.973.26-018+32.973.26-018.

Скачать:

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

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

2020-05-29 05:01:09

Соц. сети:

Важно

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Режим работы

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

Телефон

Центральна бібліотека ім. А.П. Чехова

Харьковская область, Харьков, Индустриальный район
Бекетова, 10
Расположение на карте

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

+380 (572) 93-30-55 +380 (572) 94-66-05

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

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

Режим работы

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

Телефон

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

Бишкек, Бишкек, Свердловский район
Келечек, 1/1
Расположение на карте

Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00

+996 551-21-14-31

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

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

Режим работы

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

Телефон

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

Москва, Москва, Царицыно район
Каспийская, 20 к2
Расположение на карте

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

+7 (495) 321-56-11

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

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

Режим работы

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

Телефон

Библиотека, сельское поселение Волжский Утёс

Самарская область, Шигонский район, пос. Волжский Утёс
Волжский Утёс пос, 22
Расположение на карте

санитарный день: последняя пт месяца; зимний период: вт-пт 10:00-18: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

shigmpb.smr.muzkult.ru
Вконтакте: https://vk.com/id364857547
Одноклассники: https://ok.ru/profile/573341014194

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

Режим работы

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

Телефон

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

Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте

Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00

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

Режим работы

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

Телефон

Детская библиотека, пос. Ждановский

Нижегородская область, Кстовский район, пос. Ждановский
Зелёная, 4а
Расположение на карте

санитарный день: последний день месяца
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
Сб: 09:00-16:00

+7 (83145) 6-22-01

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

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

Режим работы

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

Телефон

Городская библиотека № 16, МУК Тульская библиотечная система

Тульская область, Тула городской округ, Тула, Центральный район, Менделеевский
Ленина, 18
Расположение на карте

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

tbclib.ru

+7 (4872) 33-00-70

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

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

Режим работы

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

Телефон

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

Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Ленина, 42
Расположение на карте

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

library-adler.ru

+7 (862) 240-20-38 +7 (862) 240-03-72

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

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

Режим работы

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

Телефон

Библиотека

Республика Татарстан, Казань городской округ, Казань, Приволжский, Отары
Калинина, 60а
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

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

Режим работы

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

Телефон

Ставропольская краевая детская библиотека им. А.Е. Екимцева

Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 23-й микрорайон
Мира, 382
Расположение на карте

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

www.ekimovka.ru
Вконтакте: https://vk.com/ekimovka26
Инстаграм: https://instagram.com/skdb.ekimceva

+7 (8652) 24-27-49 +7 (8652) 75-31-62 +7 (8652) 75-31-63

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

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

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

Режим работы

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

Телефон

Центральна бібліотека ім. А.П. Чехова

Харьковская область, Харьков, Индустриальный район
Бекетова, 10
Расположение на карте

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

+380 (572) 93-30-55 +380 (572) 94-66-05

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

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

Режим работы

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

Телефон

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

Бишкек, Бишкек, Свердловский район
Келечек, 1/1
Расположение на карте

Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00

+996 551-21-14-31

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

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

Режим работы

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

Телефон

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

Москва, Москва, Царицыно район
Каспийская, 20 к2
Расположение на карте

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

+7 (495) 321-56-11

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

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

Режим работы

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

Телефон

Библиотека, сельское поселение Волжский Утёс

Самарская область, Шигонский район, пос. Волжский Утёс
Волжский Утёс пос, 22
Расположение на карте

shigmpb.smr.muzkult.ru
Вконтакте: https://vk.com/id364857547
Одноклассники: https://ok.ru/profile/573341014194

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

Режим работы

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

Телефон

Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте

Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00

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

Режим работы

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

Телефон

Детская библиотека, пос. Ждановский

Нижегородская область, Кстовский район, пос. Ждановский
Зелёная, 4а
Расположение на карте

+7 (83145) 6-22-01

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

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

Режим работы

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

Телефон

Городская библиотека № 16, МУК Тульская библиотечная система

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

tbclib.ru

+7 (4872) 33-00-70

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

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

Режим работы

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

Телефон

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

Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Ленина, 42
Расположение на карте

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

library-adler.ru

+7 (862) 240-20-38 +7 (862) 240-03-72

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

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

Режим работы

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

Телефон

Библиотека

Республика Татарстан, Казань городской округ, Казань, Приволжский, Отары
Калинина, 60а
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

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

Режим работы

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

Телефон

Ставропольская краевая детская библиотека им. А.Е. Екимцева

www.ekimovka.ru
Вконтакте: https://vk.com/ekimovka26
Инстаграм: https://instagram.com/skdb.ekimceva

+7 (8652) 24-27-49 +7 (8652) 75-31-62 +7 (8652) 75-31-63

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

Рецензии и отзывы

Егор Петров

Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11. Аннотация: «1. Формальные спецификации как следствие формального описания процесса производства программ. 2.

Азат Нагирян

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