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

1197

Купить

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

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

Name: Разработка и исследование методов и средств формального специфицирования моделей и метрик программ : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11
Rating: 4.5

Автор:

Шалфеева Елена Арефьевна

Год:

2000

Язык:

Русский

Страниц:

Коллекции:

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

Описание:

Шалфеева Е. А. Разработка и исследование методов и средств формального специфицирования моделей и метрик программ : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11 / Шалфеева Елена Арефьевна; [Ин-т автоматики и процессов упр. (ИАПУ) ДВО РАН]. - Владивосток : Б.и., 2000. - 18 с. : ил. ; 21 см. - Библиогр.: с. 15-16 (11 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 15-16 (11 назв.)

Скачать:

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

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

2021-05-22 07:38:47

Соц. сети:

Важно

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Режим работы

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

Телефон

Модельная сельская библиотека №6

Актюбинская область, Актобе городская администрация, с. Каргалинское
Каныша Сатпаева, 77
Расположение на карте

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

+7 (7132) 99-69-63

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

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

Режим работы

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

Телефон

Детская библиотека №126

Москва, Москва, Лефортово район
Красноказарменная, 10
Расположение на карте

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

+7 (495) 361-16-87

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

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

Режим работы

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

Телефон

Свердловская областная библиотека для детей и молодежи им. В.П. Крапивина

Свердловская область, Екатеринбург городской округ, Екатеринбург, Октябрьский район, Центр
Карла Либкнехта, 8
Расположение на карте

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

www.teenbook.ru
Facebook: https://facebook.com/SverdlOblBibl

+7 (343) 371-19-12 +7 (343) 371-00-39

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

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

Режим работы

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

Телефон

Златослово, библиотека

Ямало-Ненецкий автономный округ, Ноябрьск городской округ, Ноябрьск
Транспортная, 8
Расположение на карте

летний период: вт-пт 10:00-18:00, перерыв: 14:00-15:00; вс 9:00-17:00, перерыв: 13:00-14:00; пн выходной; санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 09:00-17:00

+7 (3496) 33-54-64

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

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

Режим работы

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

Телефон

Библиотека им. Н.К. Крупской

Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Максима Горького, 104
Расположение на карте

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

sshbn.ru

+7 (383) 223-28-48 +7 (383) 223-13-61

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

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

Режим работы

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

Телефон

Сокурская библиотека №25

Новосибирская область, Мошковский район, с. Сокур
4-й квартал, 4
Расположение на карте

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

+7 (383) 483-00-21

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

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

Режим работы

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

Телефон

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

Вологодская область, Вологда городской округ, Вологда, 3-й микрорайон ПЗ
Псковская, 9Б
Расположение на карте

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

cbs-vologda.ru

+7 (8172) 53-18-73

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

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

Режим работы

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

Телефон

Библиотека №2 им. М. Горького

Санкт-Петербург, Санкт-Петербург, Фрунзенский район, МО №75
Малая Балканская, 58
Расположение на карте

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

+7 (812) 778-58-78 +7 (812) 778-58-79

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

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

Режим работы

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

Телефон

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

Кемеровская область, Осинниковский городской округ, пос. Тайжина
Коммунистическая, 42
Расположение на карте

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

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

Режим работы

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

Телефон

Детско-юношеская библиотека №7

Ханты-Мансийский автономный округ, Нижневартовск городской округ, Нижневартовск, Старый Вартовск
Школьная, 26
Расположение на карте

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