На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL
1495
Купить
Краткое содержание:
Экранизация книги

На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL

Автор:
Дубрановский Игорь В.
Год:
2006
Язык:
Русский
Страниц:
55
Заглавие серии:
Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 140
Описание:
Дубрановский И. В. На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL / И.В. Дубрановский. - Новосибирск : Институт систем информатики СО РАН, 2006. - 55 с. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 140). - Библиогр.: с. 54-55 (10 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Авт. также на англ. яз.: Igor V. Dubranovsky . - Рез. на англ. яз. . - Библиогр.: с. 54-55 (10 назв.)
Дата создания:
2021-08-31 08:19:01
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL
Опросы
Там присутствует главный герой?
Да, он мужчина.
Да, это женщина.
Нет.
Не знаю.
Не знаю
Содержание

Реставрация На пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL = Towards C# program verification: algorithms of translation from C#-LIGHT into C#-KERNEL

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Університет митної справи та фінансів
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Владимира Вернадского, 2/4
Расположение на карте
санитарный день: первая пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
umsf.dp.ua
 +380 (56) 756-05-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека №249
Москва, Зеленоград, Савёлки район
Зеленоград, к607а
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
zelbiblio.ru
Вконтакте:  https://vk.com/zelbiblio
Инстаграм:  https://instagram.com/zelbiblio
Facebook:  https://facebook.com/zelbiblio
 +7 (499) 735-03-82 +7 (499) 734-19-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К.Г. Паустовского
Красноярский край, Красноярск городской округ, Красноярск, Центральный район, Покровский
Водянникова, 2
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
www.perensona23.ru
Вконтакте:  https://vk.com/bibliokabinet
Facebook:  https://facebook.com/596185037111486
 +7 (391) 201-87-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пензенская областная библиотека для детей и юношества
Пензенская область, Пенза городской округ, Пенза, Железнодорожный район, Автовокзал
Толстого, 8а
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.dyub.org
Вконтакте:  https://vk.com/biblio_penza
Инстаграм:  https://instagram.com/biblioteka_na_tolstogo
Facebook:  https://facebook.com/pages/пензенская-областная-библиотека-для-детей-и-юношества/330764330370993
Твиттер:  https://twitter.com/@biblioteka_sura
Youtube:  https://youtube.com/channel/UC-NYxa-y9cFxeDnzOWrm8Xg
 +7 (8412) 49-15-50 +7 (8412) 94-58-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Воронежская область, Воронеж городской округ, Воронеж, Левобережный район, Масловка
Лызлова, 12
Расположение на карте
Пн: 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 (473) 244-00-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная Городская библиотека им. К. Маркса
Новосибирская область, Новосибирск городской округ, Новосибирск, Заельцовский район
Красный проспект, 163
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 11:00-18:00
Вс: 11:00-18:00
www.karlmarx.lib54.ru
Вконтакте:  https://vk.com/club60120085
Инстаграм:  https://instagram.com/karlmarx_lib54
 +7 (383) 225-34-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Гатчинская Центральная районная Библиотека №2
Ленинградская область, Гатчинский район, Гатчина
Коли Подрядчикова, 13
Расположение на карте
зимний период: пн-пт 12:00-19:00; сб 11:00-17:00; санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
 +7 (81371) 3-58-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. ж/д ст. Тальжино
Советская, 1/1
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
Сб: 10:00-16:00
www.rcbs-nmr.kuzreg.ru
 +7 (3843) 55-39-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Загорский
Загорский пос, 9
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Заливной
Республика Башкортостан, Стерлитамакский район, с. Заливной
Клубная, 4а
Расположение на карте
Вт: 12:00-13:00 14:00-18:00
Ср: 12:00-13:00 14:00-18:00
Чт: 12:00-13:00 14:00-18:00
Пт: 12:00-13:00 14:00-18:00
Сб: 12:00-13:00 14:00-18:00
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Університет митної справи та фінансів
Днепропетровская область, Днепровский городской совет, Днепр, Соборный район
Владимира Вернадского, 2/4
Расположение на карте
санитарный день: первая пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
umsf.dp.ua
 +380 (56) 756-05-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека №249
Москва, Зеленоград, Савёлки район
Зеленоград, к607а
Расположение на карте
санитарный день: последний рабочий день месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
zelbiblio.ru
Вконтакте:  https://vk.com/zelbiblio
Инстаграм:  https://instagram.com/zelbiblio
Facebook:  https://facebook.com/zelbiblio
 +7 (499) 735-03-82 +7 (499) 734-19-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К.Г. Паустовского
Красноярский край, Красноярск городской округ, Красноярск, Центральный район, Покровский
Водянникова, 2
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
www.perensona23.ru
Вконтакте:  https://vk.com/bibliokabinet
Facebook:  https://facebook.com/596185037111486
 +7 (391) 201-87-22
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пензенская областная библиотека для детей и юношества
Пензенская область, Пенза городской округ, Пенза, Железнодорожный район, Автовокзал
Толстого, 8а
Расположение на карте
санитарный день: последний чт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.dyub.org
Вконтакте:  https://vk.com/biblio_penza
Инстаграм:  https://instagram.com/biblioteka_na_tolstogo
Facebook:  https://facebook.com/pages/пензенская-областная-библиотека-для-детей-и-юношества/330764330370993
Твиттер:  https://twitter.com/@biblioteka_sura
Youtube:  https://youtube.com/channel/UC-NYxa-y9cFxeDnzOWrm8Xg
 +7 (8412) 49-15-50 +7 (8412) 94-58-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №18
Воронежская область, Воронеж городской округ, Воронеж, Левобережный район, Масловка
Лызлова, 12
Расположение на карте
Пн: 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 (473) 244-00-47
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная Городская библиотека им. К. Маркса
Новосибирская область, Новосибирск городской округ, Новосибирск, Заельцовский район
Красный проспект, 163
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 11:00-18:00
Вс: 11:00-18:00
www.karlmarx.lib54.ru
Вконтакте:  https://vk.com/club60120085
Инстаграм:  https://instagram.com/karlmarx_lib54
 +7 (383) 225-34-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Гатчинская Центральная районная Библиотека №2
Ленинградская область, Гатчинский район, Гатчина
Коли Подрядчикова, 13
Расположение на карте
зимний период: пн-пт 12:00-19:00; сб 11:00-17:00; санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
 +7 (81371) 3-58-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. ж/д ст. Тальжино
Советская, 1/1
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-16:00
Вт: 10:00-16:00
Ср: 10:00-16:00
Чт: 10:00-16:00
Пт: 10:00-16:00
Сб: 10:00-16:00
www.rcbs-nmr.kuzreg.ru
 +7 (3843) 55-39-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Загорский
Загорский пос, 9
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Заливной
Республика Башкортостан, Стерлитамакский район, с. Заливной
Клубная, 4а
Расположение на карте
Вт: 12:00-13:00 14:00-18:00
Ср: 12:00-13:00 14:00-18:00
Чт: 12:00-13:00 14:00-18:00
Пт: 12:00-13:00 14:00-18:00
Сб: 12:00-13:00 14:00-18:00
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.