Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

3009

Купить

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

Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

Name: Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н
Rating: 4.5

Автор:

Перминов Олег Николаевич

Год:

1986

Язык:

Русский

Страниц:

Описание:

Перминов О.Н. Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н / Моск. инж.-физ. ин-т. - М., 1986. - 36 с. - Список работ авт.: с. 35-36

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

ДСП. Экз. № 00004 . - Список работ авт.: с. 35-36

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

2020-02-20 23:58:51

Соц. сети:

Важно

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

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

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

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

Реферат по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

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

Курсовая по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

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

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

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

Диссертация по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

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

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

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

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

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

Режим работы

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

Телефон

Центральная детская библиотека с. Выльгорт

Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте

зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

syktyvdincbs.ru
Вконтакте: https://vk.com/syktyvdincdb

+7 (82130) 7-10-51

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

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

Режим работы

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

Телефон

Библиотека семейного чтения №7, г. Подольск

Московская область, Подольск городской округ, Подольск, Красная Горка м-н
Колхозная, 18
Расположение на карте

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

+7 (4967) 55-50-48

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

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

Режим работы

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

Телефон

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

Красноярский край, Красноярск городской округ, Красноярск, Свердловский район
Семафорная, 251
Расположение на карте

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

+7 (391) 236-95-80

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

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

Режим работы

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

Телефон

Петрокаменская районная библиотека, Горноуральский городской округ

Свердловская область, Горноуральский городской округ, пос. Зональный
Центральная, 8
Расположение на карте

Вт: 15:00-18:40
Ср: 15:00-18:40
Чт: 15:00-18:40
Пт: 15:00-18:40
Сб: 15:00-18:40

+7 (3435) 31-33-56

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

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

Режим работы

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

Телефон

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

Воронежская область, Воронеж городской округ, Воронеж, Коминтерновский район
9 Января, 132
Расположение на карте

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

+7 (473) 246-45-71

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

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

Режим работы

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

Телефон

Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система

Иркутская область, Иркутск городской округ, Иркутск, Правобережный округ
Баррикад, 135
Расположение на карте

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

cbs.irkipedia.ru

+7 (3952) 33-68-07

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

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

Режим работы

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

Телефон

Дальневосточный федеральный университет

Приморский край, Владивостокский городской округ, Владивосток, Фрунзенский район
Алеутская, 65Б
Расположение на карте

Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00
Сб: 09:00-16:00

www.dvfu.ru
Вконтакте: https://vk.com/dvfuru
Инстаграм: https://instagram.com/dvfu_fefu
Facebook: https://facebook.com/dvfuru
Твиттер: https://twitter.com/@feduniver
Youtube: https://youtube.com/user/dvfuru

8-800-555-08-88 +7 (423) 265-24-24

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

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

Режим работы

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

Телефон

Научно-техническая библиотека

Тульская область, Тула городской округ, Тула, Центральный район
Каминского, 24
Расположение на карте

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

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

Режим работы

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

Телефон

Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК

Кемеровская область, Новокузнецкий район, пос. Металлургов
Центральная, 73а
Расположение на карте

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

www.rcbs-nmr.kuzreg.ru

+7 (3843) 55-84-59

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

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

Режим работы

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

Телефон

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

Калининградская область, Балтийский район, Балтийск, Севастопольский
Киркенесская, 19
Расположение на карте

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

baltlib.ru

+7 (40145) 3-24-86

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

Лекция 12 | Основы программной инженерии | Владимир Ицыксон | CSC | Лекториум

Лекция 12 | Курс: Основы программной инженерии | Лектор: Владимир Ицыксон | Организатор: Computer Science Center Смотрите это видео на ...

Лекториум Математическое обоснование S.O.L.I.D принципов

По материалам конференции .NET разработчиков - http://dotnetconf.ru/materialy/solid.

Alexander Byndyu Краткий экскурс в системы типов или как избежать дезинтеграции. Денис Редозубов

Современные программы невероятно сложны и гарантировать их корректность - задача не из простых. Системы типов - инструменты, помогающие ...

Fp Conf Максим Аршинов, Hightech - Функциональное программирование на примере JS

Что такое ФП и что такое ФП если ты пишешь на JS. К сожалению во время объяснения что такое монады техника дала сбой и конец доклада доступен ...

KazanJS

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

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

Режим работы

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

Телефон

Центральная детская библиотека с. Выльгорт

Республика Коми, Сыктывдинский район, с. Выльгорт
Домны Каликовой, 100а
Расположение на карте

зимний период: пн-пт 9:00-17:00; сб выходной; вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

syktyvdincbs.ru
Вконтакте: https://vk.com/syktyvdincdb

+7 (82130) 7-10-51

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

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

Режим работы

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

Телефон

Библиотека семейного чтения №7, г. Подольск

Московская область, Подольск городской округ, Подольск, Красная Горка м-н
Колхозная, 18
Расположение на карте

+7 (4967) 55-50-48

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

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

Режим работы

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

Телефон

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

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

+7 (391) 236-95-80

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

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

Режим работы

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

Телефон

Петрокаменская районная библиотека, Горноуральский городской округ

Свердловская область, Горноуральский городской округ, пос. Зональный
Центральная, 8
Расположение на карте

Вт: 15:00-18:40
Ср: 15:00-18:40
Чт: 15:00-18:40
Пт: 15:00-18:40
Сб: 15:00-18:40

+7 (3435) 31-33-56

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

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

Режим работы

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

Телефон

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

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

+7 (473) 246-45-71

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

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

Режим работы

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

Телефон

Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система

Иркутская область, Иркутск городской округ, Иркутск, Правобережный округ
Баррикад, 135
Расположение на карте

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

cbs.irkipedia.ru

+7 (3952) 33-68-07

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

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

Режим работы

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

Телефон

Дальневосточный федеральный университет

Пн: 08:00-18:00
Вт: 08:00-18:00
Ср: 08:00-18:00
Чт: 08:00-18:00
Пт: 08:00-18:00
Сб: 09:00-16:00

8-800-555-08-88 +7 (423) 265-24-24

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

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

Режим работы

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

Телефон

Научно-техническая библиотека

Тульская область, Тула городской округ, Тула, Центральный район
Каминского, 24
Расположение на карте

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

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

Режим работы

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

Телефон

Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК

Кемеровская область, Новокузнецкий район, пос. Металлургов
Центральная, 73а
Расположение на карте

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

www.rcbs-nmr.kuzreg.ru

+7 (3843) 55-84-59

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

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

Режим работы

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

Телефон

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

Калининградская область, Балтийский район, Балтийск, Севастопольский
Киркенесская, 19
Расположение на карте

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

baltlib.ru

+7 (40145) 3-24-86

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

Рецензии и отзывы

Егор Петров

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

Азат Нагирян

Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н. В данной книге описывается §§ 1 и 2 математического аппарата, необходимого для разработки компиляторов, и излагаются основные методы решения задач, связанных с проектированием и построением компиляторов. Рассматриваются вопросы идентификации и анализа ошибок. Книга предназначена для специалистов по языкам программирования и может быть полезна студентам старших курсов и аспирантам, а также всем, кто занимается разработкой компиляторов The file will be sent to your email address.

Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

Купить

Реферат по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

Курсовая по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

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

Диссертация по теме Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н

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

Реставрация Математические методы проектирования и доказательства правильности компиляторов : Автореф. дис. на соиск. учен. степ. д. т. н