Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

1820

Купить

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

Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

Name: Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools
Rating: 4.5

Автор:

Ануреев Игорь Сергеевич

Год:

2012

Язык:

Русский

Страниц:

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

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

Описание:

Ануреев И. С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools / И. С. Ануреев. - Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2012. - 28 с. ; 21 см. - (Препринт / Российская акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова ; № 165). - Библиогр.: с. 26-28 (27 назв.)

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

4.5

Материалы:

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

Рубрики:

Программы(компьют.) → Верификация

Примечания:

Авт. также на англ. яз.: I.S. Anureev . - Рез. на англ. яз. . - Библиогр.: с. 26-28 (27 назв.)

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

2021-02-04 00:50:08

Соц. сети:

Важно

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

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

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

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

Реферат по теме Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

Курсовая по теме Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

ВКР/Диплом по теме Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

Диссертация по теме Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

Заработать на знаниях по теме Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

Реставрация Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools

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

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

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

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

Режим работы

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

Телефон

Центральная детская библиотека №46 им. И.З. Сурикова

Москва, Москва, Коптево район
Коптевская, 26 к6
Расположение на карте

Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00

www.cbssao.ru
Вконтакте: https://vk.com/public65345262
Facebook: https://facebook.com/cbssao
Youtube: https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w

+7 (495) 708-85-06

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

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

Режим работы

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

Телефон

Библиотека №213 им. Леси Украинки

Москва, Москва, Филёвский парк район, Филёвская пойма м-н
Филёвский бульвар, 7 к1
Расположение на карте

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

bibliozao.ru
Facebook: https://facebook.com/bibl213

+7 (495) 738-32-85

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

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

Режим работы

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

Телефон

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

Тюменская область, Тобольск городской округ, Тобольск, 9-й микрорайон
9-й микрорайон, 5Б
Расположение на карте

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

www.cbs-tob.ru

+7 (3456) 25-47-19

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

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

Режим работы

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

Телефон

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

Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Матмасы
Пражская, 41
Расположение на карте

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

+7 (3452) 45-91-04

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

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

Режим работы

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

Телефон

Библиотека, пос. Черновский

Самарская область, Волжский район, пос. Чёрновский
Советская, 24
Расположение на карте

Вт: 10:00-15:00 16:00-19:00
Ср: 10:00-15:00 16:00-19:00
Чт: 10:00-15:00 16:00-19:00
Пт: 10:00-15:00 16:00-19:00
Вс: 10:00-15:00 16:00-19:00

+7 (846) 999-73-48

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

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

Режим работы

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

Телефон

Библиотека им. А.И. Люкина

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

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

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

+7 (831) 276-84-24

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

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

Режим работы

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

Телефон

Пихтовская сельская библиотека

Новосибирская область, Колыванский район, с. Пихтовка
Калинина, 10
Расположение на карте

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

+7 (38352) 4-25-25

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

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

Режим работы

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

Телефон

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

Республика Башкортостан, Уфа городской округ, Уфа, Дёмский район, Дёма
Ухтомского, 12
Расположение на карте

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

+7 (347) 281-20-29

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

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

Режим работы

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

Телефон

Научная библиотека, РАХ

Санкт-Петербург, Санкт-Петербург, Василеостровский район, МО №7
Университетская набережная, 17
Расположение на карте

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

www.rah.ru
nb-akhud.ru
Youtube: https://youtube.com/channel/UCzAuOwqAEV4OubMatd7thCQ

+7 (812) 323-71-78 +7 (812) 325-49-21

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

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

Режим работы

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

Телефон

Центральная детская библиотека, г. Ленинск-Кузнецкий

Кемеровская область, Ленинск-Кузнецкий городской округ, Ленинск-Кузнецкий
Кирова проспект, 54
Расположение на карте

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

Вконтакте: https://vk.com/bibliotekacdb
Одноклассники: https://ok.ru/group/53045328019529

+7 (38456) 5-40-44 +7 (38456) 4-96-08

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

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

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

Режим работы

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

Телефон

Центральная детская библиотека №46 им. И.З. Сурикова

Москва, Москва, Коптево район
Коптевская, 26 к6
Расположение на карте

Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00

www.cbssao.ru
Вконтакте: https://vk.com/public65345262
Facebook: https://facebook.com/cbssao
Youtube: https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w

+7 (495) 708-85-06

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

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

Режим работы

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

Телефон

Библиотека №213 им. Леси Украинки

Москва, Москва, Филёвский парк район, Филёвская пойма м-н
Филёвский бульвар, 7 к1
Расположение на карте

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

bibliozao.ru
Facebook: https://facebook.com/bibl213

+7 (495) 738-32-85

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

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

Режим работы

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

Телефон

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

Тюменская область, Тобольск городской округ, Тобольск, 9-й микрорайон
9-й микрорайон, 5Б
Расположение на карте

www.cbs-tob.ru

+7 (3456) 25-47-19

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

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

Режим работы

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

Телефон

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

Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Матмасы
Пражская, 41
Расположение на карте

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

+7 (3452) 45-91-04

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

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

Режим работы

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

Телефон

Библиотека, пос. Черновский

Самарская область, Волжский район, пос. Чёрновский
Советская, 24
Расположение на карте

Вт: 10:00-15:00 16:00-19:00
Ср: 10:00-15:00 16:00-19:00
Чт: 10:00-15:00 16:00-19:00
Пт: 10:00-15:00 16:00-19:00
Вс: 10:00-15:00 16:00-19:00

+7 (846) 999-73-48

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

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

Режим работы

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

Телефон

Библиотека им. А.И. Люкина

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

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

+7 (831) 276-84-24

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

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

Режим работы

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

Телефон

Пихтовская сельская библиотека

Новосибирская область, Колыванский район, с. Пихтовка
Калинина, 10
Расположение на карте

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

+7 (38352) 4-25-25

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

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

Режим работы

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

Телефон

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

Республика Башкортостан, Уфа городской округ, Уфа, Дёмский район, Дёма
Ухтомского, 12
Расположение на карте

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

+7 (347) 281-20-29

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

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

Режим работы

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

Телефон

Научная библиотека, РАХ

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

www.rah.ru
nb-akhud.ru
Youtube: https://youtube.com/channel/UCzAuOwqAEV4OubMatd7thCQ

+7 (812) 323-71-78 +7 (812) 325-49-21

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

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

Режим работы

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

Телефон

Центральная детская библиотека, г. Ленинск-Кузнецкий

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

Вконтакте: https://vk.com/bibliotekacdb
Одноклассники: https://ok.ru/group/53045328019529

+7 (38456) 5-40-44 +7 (38456) 4-96-08

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