Logics of programs : Workshop, Carnegie Mellon univ., Pittsburgh, PA, June 6-8, 1983 : Proceedings
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). - Библиогр. в конце докл.
Рейтинг по отзывам:
5
Рубрики:
Счетные машины, электронные → Программирование → Съезды, совещания и т. п.
Примечания:
Библиогр. в конце докл.
Другие ответственные лица:
Clarke, Edmund → Редактор; Clarke, Edmund
Дата создания:
2019-12-29 07:56:21
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Logics of programs : Workshop, Carnegie Mellon univ., Pittsburgh, PA, June 6-8, 1983 : Proceedings
Эта книга оказалась полезной?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Публічна бібліотека ім. Л. Українки для дорослих
Киев город со специальным статусом, Київ, Шевченківський район, Солдатська слобідка
Тургенєвська, 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
 +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
Название и адрес
Режим работы
Телефон
Библиотека №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
 +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
 +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
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Книжная полка, магазин христианской книги
Киев город со специальным статусом, Київ, Подільський район, Поділ
Нижній Вал, 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
Название и адрес
Режим работы
Телефон
Читай город, сеть магазинов, ООО Библиосфера
Республика Башкортостан, Салават городской округ, Салават
Ленина, 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
 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
 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
 +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
 +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
 +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
Прикрепить файл