Теоретическая информатика : доказательство правильности : учебное пособие

1561

Купить

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

Теоретическая информатика : доказательство правильности : учебное пособие

Name: Теоретическая информатика : доказательство правильности : учебное пособие
Rating: 4.5
ISBN: 978-5-7782-2875-7

Автор:

Веретельникова Евгения Леонидовна

Год:

2016

isbn:

978-5-7782-2875-7

Язык:

Русский

Описание:

Веретельникова Е. Л. Теоретическая информатика : доказательство правильности : учебное пособие / Е.Л. Веретельникова; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т, [Фак. автоматики и вычисл. техники]. - Новосибирск : Изд-во НГТУ, 2016. - 47, [3] с. : ил. ; 20 см. - Библиогр. в конце кн. (5 назв.)

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

4.5

Материалы:

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

Рубрики:

Программы(компьют.) → Верификация → Учебные издания для высших учебных заведений

Примечания:

Принципы и приемы доказательства правильности программ. . - Библиогр. в конце кн. (5 назв.)

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

2021-08-30 01:19:19

Соц. сети:

Важно

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

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

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

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

Реферат по теме Теоретическая информатика : доказательство правильности : учебное пособие

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

Курсовая по теме Теоретическая информатика : доказательство правильности : учебное пособие

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

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

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

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

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

Заработать на знаниях по теме Теоретическая информатика : доказательство правильности : учебное пособие

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

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

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

Режим работы

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

Телефон

Государственная патентно-техническая библиотека КР

Бишкек, Бишкек, Первомайский район
Эркиндик бульвар, 43
Расположение на карте

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

+996 (312) 66-20-09

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

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

Режим работы

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

Телефон

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

Брянская область, Брянск городской округ, Брянск, Бежицкий район, Новый Городок
Клинцовская, 60
Расположение на карте

зимний период: вт-пт 10:00-18:00; сб-вс 10:00-17: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

библиотека32.рф
Вконтакте: https://vk.com/public44755079
Твиттер: https://twitter.com/@lib_proskurina

+7 (4832) 52-44-76 +7 (4832) 52-42-95

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

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

Режим работы

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

Телефон

Библиотека №6, г. Реутов

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

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

+7 (495) 791-36-80

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

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

Режим работы

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

Телефон

Новомилетская сельская библиотека

Московская область, Балашиха городской округ, с. Новый Милет
Парковая, 6
Расположение на карте

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

www.cbsbalashihi.ru

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

Режим работы

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

Телефон

Лукоморье, детская библиотека

Красноярский край, Красноярск городской округ, Красноярск, Центральный район
Диктатуры Пролетариата, 40а
Расположение на карте

зимний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00

ostrovlib.ru
Вконтакте: https://vk.com/club57975830
Инстаграм: https://instagram.com/lib_lukomorie

+7 (391) 211-47-52

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

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

Режим работы

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

Телефон

Центральная библиотека имени А.С. Пушкина

Красноярский край, Ачинск городской округ, Ачинск
Юго-Восточный микрорайон, 17
Расположение на карте

Пн: 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.achinsklib.ru
Вконтакте: https://vk.com/club59698768
Facebook: https://facebook.com/groups/197279877300386

+7 (39151) 4-94-00

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

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

Режим работы

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

Телефон

Библиотека №5 им. Ларковича Г.С.

Белгородская область, Старооскольский городской округ, Старый Оскол, Горняк м-н
Горняк микрорайон, 32
Расположение на карте

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

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

+7 (4725) 24-00-24

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК

Тульская область, Донской городской округ, Донской, Северо-Задонск
Горького, 6
Расположение на карте

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

biblioteka-don.ru

+7 (48746) 7-11-47

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

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

Режим работы

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

Телефон

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

Челябинская область, Златоустовский городской округ, Златоуст, Машзавод ж/м
Грибоедова, 3а
Расположение на карте

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

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

+7 (3513) 66-56-53

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

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

Режим работы

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

Телефон

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

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

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

+7 (8332) 22-48-38

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

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

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

Режим работы

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

Телефон

Государственная патентно-техническая библиотека КР

Бишкек, Бишкек, Первомайский район
Эркиндик бульвар, 43
Расположение на карте

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

+996 (312) 66-20-09

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

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

Режим работы

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

Телефон

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

библиотека32.рф
Вконтакте: https://vk.com/public44755079
Твиттер: https://twitter.com/@lib_proskurina

+7 (4832) 52-44-76 +7 (4832) 52-42-95

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

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

Режим работы

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

Телефон

Библиотека №6, г. Реутов

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

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

+7 (495) 791-36-80

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

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

Режим работы

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

Телефон

Новомилетская сельская библиотека

Московская область, Балашиха городской округ, с. Новый Милет
Парковая, 6
Расположение на карте

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

www.cbsbalashihi.ru

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

Режим работы

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

Телефон

Лукоморье, детская библиотека

зимний период: пн-пт 10:00-19:00; сб 10:00-18:00
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00

ostrovlib.ru
Вконтакте: https://vk.com/club57975830
Инстаграм: https://instagram.com/lib_lukomorie

+7 (391) 211-47-52

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

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

Режим работы

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

Телефон

Центральная библиотека имени А.С. Пушкина

Красноярский край, Ачинск городской округ, Ачинск
Юго-Восточный микрорайон, 17
Расположение на карте

Пн: 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.achinsklib.ru
Вконтакте: https://vk.com/club59698768
Facebook: https://facebook.com/groups/197279877300386

+7 (39151) 4-94-00

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

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

Режим работы

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

Телефон

Библиотека №5 им. Ларковича Г.С.

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

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

+7 (4725) 24-00-24

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК

Тульская область, Донской городской округ, Донской, Северо-Задонск
Горького, 6
Расположение на карте

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

biblioteka-don.ru

+7 (48746) 7-11-47

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

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

Режим работы

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

Телефон

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

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

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

+7 (3513) 66-56-53

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

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

Режим работы

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

Телефон

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

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

+7 (8332) 22-48-38

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

Теоретическая информатика : доказательство правильности : учебное пособие

Купить

Реферат по теме Теоретическая информатика : доказательство правильности : учебное пособие

Курсовая по теме Теоретическая информатика : доказательство правильности : учебное пособие

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

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

Заработать на знаниях по теме Теоретическая информатика : доказательство правильности : учебное пособие

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