Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

1433

Купить

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

Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Name: Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций
Rating: 4.5

Авторы:

Грудинин Владимир Анатольевич
Коваль Валерий Николаевич
Якуба Анатолий Александрович

Год:

1994

Язык:

Русский

Страниц:

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

Препринт / Нац. акад. наук Украины. Ин-т кибернетики им. В.М. Глушкова ; 94-9

Описание:

Грудинин В.А., Коваль В.Н., Якуба А.А. Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций / В.А. Грудинин, В.Н. Коваль, А.А. Якуба. - Киев : Ин-т кибернетики, 1994. - [1], 29 с. : ил. ; 20 см. - (Препринт / Нац. акад. наук Украины. Ин-т кибернетики им. В.М. Глушкова ; 94-9). - Библиогр.: с. 29

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 29

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

2022-03-16 17:18:36

Соц. сети:

Важно

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

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

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

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

Реферат по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

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

Курсовая по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

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

ВКР/Диплом по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

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

Диссертация по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

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

Заработать на знаниях по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

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

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

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

Режим работы

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

Телефон

Сельская библиотека №3

Чуйская область, Сокулукский район, с. им. Фрунзе
Институтская, 1а/7
Расположение на карте

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

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

Режим работы

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

Телефон

Городская библиотека

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

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

cbs-kaluga.ru

+7 (4842) 72-52-44

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

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

Режим работы

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

Телефон

Центральная библиотека им. Анны Ахматовой

Московская область, Домодедово городской округ, Домодедово, Центральный м-н
Коломийца, 9
Расположение на карте

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

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

+7 (496) 794-21-52 +7 (49679) 7-45-14

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

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

Режим работы

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

Телефон

Библиотека №3, г. Лобня

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

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

+7 (495) 579-45-75

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

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

Режим работы

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

Телефон

Очаг, библиотека

Московская область, Электросталь городской округ, Электросталь, Северный м-н
Ленина проспект, 2 к4
Расположение на карте

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

+7 (49657) 6-40-90

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

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

Режим работы

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

Телефон

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

Республика Татарстан, Набережные Челны городской округ, Набережные Челны, Комсомольский район, ЗЯБ
15-й комплекс, 18
Расположение на карте

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

+7 (8552) 46-67-37

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

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

Режим работы

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

Телефон

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

Самарская область, Самара городской округ, Самара, Кировский район, Металлург
Республиканская, 59
Расположение на карте

санитарный день: первый чт месяца
Пн: 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 (846) 931-87-72

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

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

Режим работы

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

Телефон

Библиотека, Духовный центр при храме Покрова Пресвятой Богородицы

Нижегородская область, Богородский район, Богородск
Венецкого, 18
Расположение на карте

Сб: 10:00-13:00
Вс: 11:00-14:00

bogorodsk.blagochin.ru
Вконтакте: https://vk.com/club88999802
Facebook: https://facebook.com/bogorodsk.blagochin

+7 (83170) 2-18-17 +7 (83170) 2-47-84

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

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

Режим работы

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

Телефон

Библиотека №11 им. Я. Гашека

Челябинская область, Челябинский городской округ, Челябинск, Тракторозаводский район
1 Пятилетки, 43а
Расположение на карте

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

+7 (351) 775-49-53

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

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

Режим работы

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

Телефон

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

Приморский край, Находкинский городской округ, Находка, Врангель пос
Бабкина, 17
Расположение на карте

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

www.nakhodka-lib.ru

+7 (4236) 61-70-89

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

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

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

Режим работы

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

Телефон

Сельская библиотека №3

Чуйская область, Сокулукский район, с. им. Фрунзе
Институтская, 1а/7
Расположение на карте

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

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

Режим работы

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

Телефон

Городская библиотека

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

cbs-kaluga.ru

+7 (4842) 72-52-44

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

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

Режим работы

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

Телефон

Центральная библиотека им. Анны Ахматовой

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

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

+7 (496) 794-21-52 +7 (49679) 7-45-14

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

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

Режим работы

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

Телефон

Библиотека №3, г. Лобня

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

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

+7 (495) 579-45-75

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

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

Режим работы

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

Телефон

Очаг, библиотека

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

+7 (49657) 6-40-90

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

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

Режим работы

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

Телефон

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

+7 (8552) 46-67-37

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

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

Режим работы

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

Телефон

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

санитарный день: первый чт месяца
Пн: 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 (846) 931-87-72

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

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

Режим работы

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

Телефон

Библиотека, Духовный центр при храме Покрова Пресвятой Богородицы

Нижегородская область, Богородский район, Богородск
Венецкого, 18
Расположение на карте

Сб: 10:00-13:00
Вс: 11:00-14:00

bogorodsk.blagochin.ru
Вконтакте: https://vk.com/club88999802
Facebook: https://facebook.com/bogorodsk.blagochin

+7 (83170) 2-18-17 +7 (83170) 2-47-84

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

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

Режим работы

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

Телефон

Библиотека №11 им. Я. Гашека

+7 (351) 775-49-53

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

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

Режим работы

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

Телефон

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

Приморский край, Находкинский городской округ, Находка, Врангель пос
Бабкина, 17
Расположение на карте

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

www.nakhodka-lib.ru

+7 (4236) 61-70-89

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

Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Купить

Реферат по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Курсовая по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

ВКР/Диплом по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Диссертация по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Заработать на знаниях по теме Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций

Реставрация Об одном подходе к доказательному проектированию дискретных систем на основе логико-алгебраических спецификаций