Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>
2074
Купить
Краткое содержание:
Экранизация книги

Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

Автор:
Кубасов Сергей Валерьевич
Год:
2008
Язык:
Русский
Страниц:
19
Коллекции:
Авторефераты
Описание:
Кубасов С. В. Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей> / Кубасов Сергей Валерьевич; [Ин-т програм. систем РАН]. - Ярославль, 2008. - 19 с. : ил. ; 21 см. - Библиогр.: с. 18-19 (7 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 18-19 (7 назв.)
ББК:
32.973.202-018.2+32.973.26-018+32.973.26-018.1+32.973.26-018. 2
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2022-02-04 15:59:02
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>
Опросы
Были по книге театр. постановки?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Верификация автоматных программ в контексте синхронного программирования : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек г. Шымкента, ГУ
Туркестанская область, Шымкент, Аль-Фарабийский район
Байзакулы, 13/1
Расположение на карте
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 30-04-72 +7 (7252) 32-37-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная медицинская библиотека, МГМУ им. И.М. Сеченова
Москва, Москва, Черёмушки район
Нахимовский проспект, 49
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-20:00
Вт: 10:00-18:00
Ср: 12:00-20:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.scsml.rssi.ru
 +7 (499) 128-33-46 +7 (499) 120-21-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека №70 им. М.А. Шолохова
Москва, Москва, Преображенское район
Халтуринская, 18
Расположение на карте
санитарный день: последний пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbs-vao.ru
Facebook:  https://facebook.com/515044058514716
 +7 (499) 168-63-42 +7 (499) 162-97-57 +7 (499) 168-63-37 +7 (499) 162-07-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Томская областная детско-юношеская библиотека
Томская область, Томск городской округ, Томск, Советский район
Фрунзе проспект, 92а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:30-19:00
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Вс: 10:00-18:00
odub.tomsk.ru
Вконтакте:  https://vk.com/todub
Youtube:  https://youtube.com/user/todubTV
 +7 (3822) 44-17-71 +7 (3822) 26-56-72 +7 (3822) 26-56-74
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек г. Шымкента, ГУ
Туркестанская область, Шымкент, Аль-Фарабийский район
Байзакулы, 13/1
Расположение на карте
Пн: 09:00-13:00 15:00-19:00
Вт: 09:00-13:00 15:00-19:00
Ср: 09:00-13:00 15:00-19:00
Чт: 09:00-13:00 15:00-19:00
Пт: 09:00-13:00 15:00-19:00
 +7 (7252) 30-04-72 +7 (7252) 32-37-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная научная медицинская библиотека, МГМУ им. И.М. Сеченова
Москва, Москва, Черёмушки район
Нахимовский проспект, 49
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-20:00
Вт: 10:00-18:00
Ср: 12:00-20:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.scsml.rssi.ru
 +7 (499) 128-33-46 +7 (499) 120-21-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека №70 им. М.А. Шолохова
Москва, Москва, Преображенское район
Халтуринская, 18
Расположение на карте
санитарный день: последний пт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
cbs-vao.ru
Facebook:  https://facebook.com/515044058514716
 +7 (499) 168-63-42 +7 (499) 162-97-57 +7 (499) 168-63-37 +7 (499) 162-07-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Томская областная детско-юношеская библиотека
Томская область, Томск городской округ, Томск, Советский район
Фрунзе проспект, 92а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:30-19:00
Вт: 10:30-19:00
Ср: 10:30-19:00
Чт: 10:30-19:00
Пт: 10:30-19:00
Вс: 10:00-18:00
odub.tomsk.ru
Вконтакте:  https://vk.com/todub
Youtube:  https://youtube.com/user/todubTV
 +7 (3822) 44-17-71 +7 (3822) 26-56-72 +7 (3822) 26-56-74
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.