Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

2272

Купить

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

Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

Name: Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program
Rating: 4.5

Автор:

Марьясов И. В.

Год:

2010

Язык:

Русский

Страниц:

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

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

Описание:

Марьясов И. В. Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program / И.В. Марьясов. - Новосибирск : Институт систем информатики СО РАН, 2010. - 34 с. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 155). - Библиогр.: с. 20 (8 назв.)

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

4.5

Материалы:

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

Рубрики:

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

Примечания:

Рез. на англ. яз. . - Библиогр.: с. 20 (8 назв.)

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

2022-01-01 21:47:03

Соц. сети:

Важно

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

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

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

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

Реферат по теме Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

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

Курсовая по теме Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

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

ВКР/Диплом по теме Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

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

Диссертация по теме Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

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

Заработать на знаниях по теме Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program

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

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

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

Режим работы

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

Телефон

Библиотека

Мангистауская область, Актау, 6-й м-н
6-й микрорайон, 25
Расположение на карте

Пн: 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

+7 (7292) 53-03-90

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

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

Режим работы

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

Телефон

Централизованная система массовых библиотек г. Шымкента, ГУ

Туркестанская область, Шымкент, Аль-Фарабийский район
Карасу микрорайон, 46
Расположение на карте

Пн: 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-777-424-10-05 +7 (7252) 50-60-33

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

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

Режим работы

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

Телефон

Библиотека им. В.М. Шукшина

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Нижегородский район, Верхние Печёры
Бринского, 5/1
Расположение на карте

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

+7 (831) 432-47-04

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

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

Режим работы

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

Телефон

Детская библиотека им. Ю.А. Гагарина

Нижегородская область, Дзержинск городской округ, Дзержинск
Химиков бульвар, 3
Расположение на карте

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

dzlib.ru
Вконтакте: https://vk.com/club153658816

+7 (8313) 32-34-01

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

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

Режим работы

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

Телефон

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

Приморский край, Владивостокский городской округ, Владивосток, Первомайский район
Полярная, 7
Расположение на карте

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

vladlib.ru
Одноклассники: https://ok.ru/group/53232682598625
Твиттер: https://twitter.com/@vladlibrary

+7 (423) 225-56-75

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

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

Режим работы

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

Телефон

Научная библиотека им. А.А. Абилова, ДГУ

Республика Дагестан, Махачкала городской округ, Махачкала, Советский район
Батырая, 1
Расположение на карте

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

elib.dgu.ru
Вконтакте: https://vk.com/club67413275

+7 (8722) 56-21-71

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

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

Режим работы

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

Телефон

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

Новосибирская область, Обь городской округ, Обь, Авиаторов пос.
ЖКО аэропорта, 25/1
Расположение на карте

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

библиотека-обь.рф

+7 (383) 735-45-84

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

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

Режим работы

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

Телефон

Центральная детская библиотека им. П.П. Бажова

Пермский край, Краснокамский район, Краснокамск, Центр (Краснокамск)
Шоссейная, 4
Расположение на карте

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

+7 (34273) 4-55-06

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

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

Режим работы

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

Телефон

Центральная районная детская библиотека, Василеостровский район

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

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

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

+7 (812) 323-74-35 +7 (812) 323-73-58

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

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

Режим работы

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

Телефон

Централизованная система детских библиотек, МБУ

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

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

bibliodeti-volg.ru

+7 (8442) 38-42-46 +7 (8442) 38-37-31 +7 (8442) 38-42-45 +7 (8442) 38-37-55

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

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

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

Режим работы

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

Телефон

Библиотека

Мангистауская область, Актау, 6-й м-н
6-й микрорайон, 25
Расположение на карте

Пн: 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

+7 (7292) 53-03-90

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

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

Режим работы

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

Телефон

Централизованная система массовых библиотек г. Шымкента, ГУ

Туркестанская область, Шымкент, Аль-Фарабийский район
Карасу микрорайон, 46
Расположение на карте

Пн: 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-777-424-10-05 +7 (7252) 50-60-33

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

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

Режим работы

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

Телефон

Библиотека им. В.М. Шукшина

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

+7 (831) 432-47-04

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

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

Режим работы

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

Телефон

Детская библиотека им. Ю.А. Гагарина

Нижегородская область, Дзержинск городской округ, Дзержинск
Химиков бульвар, 3
Расположение на карте

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

dzlib.ru
Вконтакте: https://vk.com/club153658816

+7 (8313) 32-34-01

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

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

Режим работы

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

Телефон

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

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

vladlib.ru
Одноклассники: https://ok.ru/group/53232682598625
Твиттер: https://twitter.com/@vladlibrary

+7 (423) 225-56-75

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

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

Режим работы

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

Телефон

Научная библиотека им. А.А. Абилова, ДГУ

Республика Дагестан, Махачкала городской округ, Махачкала, Советский район
Батырая, 1
Расположение на карте

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

elib.dgu.ru
Вконтакте: https://vk.com/club67413275

+7 (8722) 56-21-71

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

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

Режим работы

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

Телефон

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

Новосибирская область, Обь городской округ, Обь, Авиаторов пос.
ЖКО аэропорта, 25/1
Расположение на карте

библиотека-обь.рф

+7 (383) 735-45-84

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

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

Режим работы

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

Телефон

Центральная детская библиотека им. П.П. Бажова

Пермский край, Краснокамский район, Краснокамск, Центр (Краснокамск)
Шоссейная, 4
Расположение на карте

+7 (34273) 4-55-06

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

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

Режим работы

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

Телефон

Центральная районная детская библиотека, Василеостровский район

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

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

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

+7 (812) 323-74-35 +7 (812) 323-73-58

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

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

Режим работы

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

Телефон

Централизованная система детских библиотек, МБУ

bibliodeti-volg.ru

+7 (8442) 38-42-46 +7 (8442) 38-37-31 +7 (8442) 38-42-45 +7 (8442) 38-37-55

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