784

Logics of programs : Workshop, Carnegie Mellon univ., Pittsburgh, PA, June 6-8, 1983 : Proceedings

Год:

1984

isbn:

3-540-12896-4

Язык:

Английский

Страниц:

527

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

Lecture notes in computer science ; 164

Описание:

Logics of programs : Workshop, Carnegie Mellon univ., Pittsburgh, PA, June 6-8, 1983 : [Proceedings] / Ed. by Edmund Clarke a. Dexter Kozen. - Berlin etc. : Springer-Verl., 1984. - VI, 527 с. : схем. ; 24 см. - (Lecture notes in computer science ; 164). - Библиогр. в конце докл.

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

Рубрики:

Счетные машины, электронные → Программирование → Съезды, совещания и т. п.

Примечания:

Библиогр. в конце докл.

Другие ответственные лица:

Clarke, Edmund → Редактор; Clarke, Edmund

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

2019-12-29 07:56:21

Соц. сети:

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

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

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

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

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

Режим работы

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

Телефон

Публічна бібліотека ім. Л. Українки для дорослих

Киев город со специальным статусом, Київ, Шевченківський район, Солдатська слобідка
Тургенєвська, 83-85
Расположение на карте

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

lucl.kiev.ua

+380 (44) 482-13-34

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

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

Режим работы

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

Телефон

Централизованная система массовых библиотек

Карагандинская область, Караганда, Октябрьский район
Зелинского, 28/2
Расположение на карте

Вт: 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 (7212) 53-13-54

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

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

Режим работы

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

Телефон

Детская библиотека №125 им. А.В. Ухтомского

Москва, Москва, Лефортово район
Сторожевая, 22 к1
Расположение на карте

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

+7 (495) 360-41-04 +7 (495) 360-59-32

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

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

Режим работы

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

Телефон

Библиотека, пос. Исеть

Свердловская область, Верхняя Пышма городской округ, пос. Исеть
Мира, 20
Расположение на карте

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

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

Режим работы

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

Телефон

Городская библиотека им. В.Н. Татищева

Самарская область, Тольятти городской округ, Тольятти, Центральный район, 75-й квартал
Ленина бульвар, 10
Расположение на карте

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

cls.tgl.ru
Вконтакте: https://vk.com/lbibl_leto_2014

+7 (8482) 26-03-81 +7 (8482) 26-01-17 +7 (8482) 26-82-86

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

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

Режим работы

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

Телефон

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

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

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

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

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

Режим работы

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

Телефон

Центральная библиотека №9, Пушкинский район

Санкт-Петербург, Санкт-Петербург, Пушкинский район, МО "п. Шушары"
Валдайская, 9
Расположение на карте

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

www.cbspushkin.spb.ru
Вконтакте: https://vk.com/club86723086

+7 (812) 417-40-51

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

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

Режим работы

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

Телефон

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

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

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

+7 (8422) 63-88-11

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

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

Режим работы

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

Телефон

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

Ханты-Мансийский автономный округ, Мегион городской округ, Мегион, 3-й микрорайон
Заречная, 16а
Расположение на карте

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

megionlib.ru

+7 (34643) 3-12-20 +7 (34643) 3-51-30

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

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

Режим работы

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

Телефон

Областная библиотека им. Н.К. Крупской

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

санитарный день: первый вт месяца; июнь-август: пн-чт 9:30-18:00; сб-вс выходной
Пн: 09:30-20:00
Вт: 09:30-20:00
Ср: 09:30-20:00
Чт: 09:30-20:00
Сб: 10:00-18:00
Вс: 10:00-18:00

www.orenlib.ru
Youtube: https://youtube.com/channel/UCcKUdg9daZwj8T9OtbGNQTg

+7 (3532) 77-07-10 +7 (3532) 77-24-72 +7 (3532) 77-06-76

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

Наличие в магазинах

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

Режим работы

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

Телефон

Книжная полка, магазин христианской книги

Киев город со специальным статусом, Київ, Подільський район, Поділ
Нижній Вал, 7-9
Расположение на карте

Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 11:00-18:00
Вс: 11:00-18:00

knigionline.com
Facebook: https://facebook.com/KnizhnayaPolka

+380 63-411-12-56 +380 (44) 227-27-29 +380 66-668-02-84 +380 97-880-63-79

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

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

Режим работы

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

Телефон

Читай город, сеть магазинов, ООО Библиосфера

Республика Башкортостан, Салават городской округ, Салават
Ленина, 25
Расположение на карте

Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00

www.chitai-gorod.ru
Вконтакте: https://vk.com/chitaigorod
Инстаграм: https://instagram.com/chitai_gorod
Одноклассники: https://ok.ru/chitaigorod?st._aid=externalgroupwidget_opengroup
Твиттер: https://twitter.com/@chitaigorod

8-800-444-84-44 +7 (3476) 36-44-42

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

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

Режим работы

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

Телефон

Педагогическая книга, магазин

Республика Башкортостан, Уфа городской округ, Уфа, Дёмский район
Центральная, 53 к2
Расположение на карте

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

+7-917-798-06-05

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

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

Режим работы

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

Телефон

Читай город, сеть книжных магазинов

Самарская область, Самара городской округ, Самара, Промышленный район
Ново-Садовая, 305а
Расположение на карте

Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00

www.chitai-gorod.ru
Вконтакте: https://vk.com/chitaigorod
Одноклассники: https://ok.ru/chitaigorod
Твиттер: https://twitter.com/@chitaigorod

8-800-444-84-44 +7 (846) 372-52-26

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

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

Режим работы

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

Телефон

Книги, ООО, магазин, г. Домодедово

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

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

+7 (496) 793-12-48

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

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

Режим работы

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

Телефон

Эмчи 03, интернет-магазин

Улан-Удэ городской округ, Улан-Удэ

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

emci.ecwid.com
Вконтакте: https://vk.com/emci03
Инстаграм: https://instagram.com/book_gavaaluvsan

+7-924-750-89-18

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

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

Режим работы

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

Телефон

ПродаЛитЪ, магазин

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Жердева, 104Б
Расположение на карте

Пн: 10:00-22:00
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-22:00

www.prodalit.ru

+7 (3012) 42-06-83

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

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

Режим работы

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

Телефон

Сунна, магазин исламских товаров

Республика Дагестан, Махачкала городской округ, Махачкала, Ленинский район, 5-й пос.
Амет-Хана Султана проспект, 1г
Расположение на карте

Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
Вс: 09:00-20:00

+7-903-499-63-95

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

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

Режим работы

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

Телефон

Буквально, издательство

Санкт-Петербург, Санкт-Петербург, Центральный район, МО №77 "Дворцовый"
Большая Морская, 3-5
Расположение на карте

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

izdatelstvobukvalno.ru

+7 (812) 906-14-06 +7-921-787-26-24

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

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

Режим работы

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

Телефон

ВотОнЯ, сеть магазинов детских товаров

Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №1 "Коломна"
Английский проспект, 16
Расположение на карте

Пн: 09:00-21:00
Вт: 09:00-21:00
Ср: 09:00-21:00
Чт: 09:00-21:00
Пт: 09:00-21:00
Сб: 09:00-21:00
Вс: 09:00-21:00

www.votonia.ru
Вконтакте: https://vk.com/votonia
Инстаграм: https://instagram.com/votonia
Facebook: https://facebook.com/votonia
Одноклассники: https://ok.ru/group/52838953123951

8-800-333-44-22 +7 (812) 454-44-22 +7 (812) 416-34-48

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