The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

962

Купить

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

Экранизация книги

The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Name: The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики
Rating: 4.5

Автор:

Mar'jasov Il'ja Vladimirovič (1983-)

Год:

2011

Язык:

Английский

Страниц:

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

Preprint / Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems ; 160

Описание:

Mar'jasov I. V. The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики / I.V. Maryasov. - Novosibirsk : A.P. Ershov inst. of informatics systems, 2011. - 42 с. ; 20 см. - (Preprint / Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems ; 160). - Библиогр.: с. 41-42 (11 назв.)

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

4.5

Материалы:

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

Рубрики:

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

Примечания:

Авт. также на рус. яз.: И.В. Марьясов . - Рез. на рус. яз. . - Библиогр.: с. 41-42 (11 назв.)

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

2020-05-19 09:53:34

Соц. сети:

Важно

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

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

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

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

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

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

Режим работы

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

Телефон

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

Ош, Ош, Манас-Ата м-н
Салиевой, 5
Расположение на карте

Пн: 08:30-12:30 13:30-17:30
Вт: 08:30-12:30 13:30-17:30
Ср: 08:30-12:30 13:30-17:30
Чт: 08:30-12:30 13:30-17:30
Пт: 08:30-12:30 13:30-17:30

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

Режим работы

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

Телефон

Проспект, библиотека

Москва, Москва, Тёплый Стан район
Ленинский проспект, 127
Расположение на карте

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

Вконтакте: https://vk.com/biblioprospect
Facebook: https://facebook.com/biblioprospect

+7 (495) 438-95-10

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

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

Режим работы

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

Телефон

Библиотека №23 им. М. Горького

Москва, Москва, Тимирязевский район
Тимирязевская, 17 к1
Расположение на карте

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

www.cbssao.ru
Вконтакте: https://vk.com/public65345262
Facebook: https://facebook.com/cbssao
Youtube: https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w

+7 (499) 798-44-76 +7 (495) 611-00-94

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

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

Режим работы

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

Телефон

Центральная городская библиотека им. А.М. Горького

Московская область, Орехово-Зуево городской округ, Орехово-Зуево
Барышникова проезд, 10
Расположение на карте

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

www.cbs-oz.ru
Вконтакте: https://vk.com/ozcbs
Инстаграм: https://instagram.com/biblioteka_orehovo_zuevo
Facebook: https://facebook.com/997270263702641

+7 (496) 425-78-19

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

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

Режим работы

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

Телефон

Библиотека №27 им. А.Н. Радищева

Свердловская область, Екатеринбург городской округ, Екатеринбург, Чкаловский район, Химмаш
Черняховского, 35
Расположение на карте

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

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

+7 (343) 258-14-11

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

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

Режим работы

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

Телефон

Библиотека-филиал №4 им. Н.К. Крупской

Самарская область, Сызрань городской округ, Сызрань
Шигонская, 1
Расположение на карте

Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 10:00-15:00
Вс: 10:00-15:00

+7 (8464) 37-87-79

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

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

Режим работы

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

Телефон

Библиотека, с. Льниха

Новосибирская область, Тогучинский район, с. Льниха
Центральная, 4
Расположение на карте

Вт: 12:00-14:00 15:00-17:00
Ср: 12:00-14:00 15:00-17:00
Чт: 12:00-14:00 15:00-17:00
Пт: 12:00-14:00 15:00-17:00
Сб: 12:00-14:00 15:00-17:00
Вс: 12:00-14:00 15:00-17:00

+7 (38340) 2-62-35

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

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

Режим работы

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

Телефон

Миловская библиотека

Республика Башкортостан, Уфимский район, с. Миловка
Михайлова, 1
Расположение на карте

зимний период: вт-пт 11:00-19:00, перерыв: 15:00-16:00; сб 10:00-18:00, перерыв: 14:00-15:00; пн выходной
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00

+7 (347) 271-70-66

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

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

Режим работы

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

Телефон

Береславский культурно-спортивный комплекс

Волгоградская область, Калачевский район, пос. Береславка
Волгоградская, 32а
Расположение на карте

Вт: 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 (84472) 5-31-92

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

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

Режим работы

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

Телефон

Библиотека информационно-образовательных ресурсов

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

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

lib.muh.ru

+7 (8142) 74-55-37 +7 (495) 727-09-17

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

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

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

Режим работы

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

Телефон

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

Ош, Ош, Манас-Ата м-н
Салиевой, 5
Расположение на карте

Пн: 08:30-12:30 13:30-17:30
Вт: 08:30-12:30 13:30-17:30
Ср: 08:30-12:30 13:30-17:30
Чт: 08:30-12:30 13:30-17:30
Пт: 08:30-12:30 13:30-17:30

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

Режим работы

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

Телефон

Проспект, библиотека

Москва, Москва, Тёплый Стан район
Ленинский проспект, 127
Расположение на карте

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

Вконтакте: https://vk.com/biblioprospect
Facebook: https://facebook.com/biblioprospect

+7 (495) 438-95-10

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

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

Режим работы

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

Телефон

Библиотека №23 им. М. Горького

Москва, Москва, Тимирязевский район
Тимирязевская, 17 к1
Расположение на карте

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

www.cbssao.ru
Вконтакте: https://vk.com/public65345262
Facebook: https://facebook.com/cbssao
Youtube: https://youtube.com/channel/UCl0xOV9OsaatnS8hNczn30w

+7 (499) 798-44-76 +7 (495) 611-00-94

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

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

Режим работы

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

Телефон

Центральная городская библиотека им. А.М. Горького

Московская область, Орехово-Зуево городской округ, Орехово-Зуево
Барышникова проезд, 10
Расположение на карте

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

www.cbs-oz.ru
Вконтакте: https://vk.com/ozcbs
Инстаграм: https://instagram.com/biblioteka_orehovo_zuevo
Facebook: https://facebook.com/997270263702641

+7 (496) 425-78-19

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

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

Режим работы

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

Телефон

Библиотека №27 им. А.Н. Радищева

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

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

+7 (343) 258-14-11

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

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

Режим работы

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

Телефон

Библиотека-филиал №4 им. Н.К. Крупской

Самарская область, Сызрань городской округ, Сызрань
Шигонская, 1
Расположение на карте

Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 10:00-15:00
Вс: 10:00-15:00

+7 (8464) 37-87-79

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

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

Режим работы

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

Телефон

Библиотека, с. Льниха

Новосибирская область, Тогучинский район, с. Льниха
Центральная, 4
Расположение на карте

Вт: 12:00-14:00 15:00-17:00
Ср: 12:00-14:00 15:00-17:00
Чт: 12:00-14:00 15:00-17:00
Пт: 12:00-14:00 15:00-17:00
Сб: 12:00-14:00 15:00-17:00
Вс: 12:00-14:00 15:00-17:00

+7 (38340) 2-62-35

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

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

Режим работы

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

Телефон

Миловская библиотека

Республика Башкортостан, Уфимский район, с. Миловка
Михайлова, 1
Расположение на карте

+7 (347) 271-70-66

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

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

Режим работы

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

Телефон

Береславский культурно-спортивный комплекс

Волгоградская область, Калачевский район, пос. Береславка
Волгоградская, 32а
Расположение на карте

Вт: 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 (84472) 5-31-92

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

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

Режим работы

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

Телефон

Библиотека информационно-образовательных ресурсов

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

lib.muh.ru

+7 (8142) 74-55-37 +7 (495) 727-09-17

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

The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Купить

Реферат по теме The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Курсовая по теме The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

ВКР/Диплом по теме The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Диссертация по теме The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Заработать на знаниях по теме The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики

Реставрация The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики