Abstract interpretation of declarative languages
2184
Краткое содержание:
Экранизация книги

Abstract interpretation of declarative languages

Год:
1987
isbn:
0-7458-0109-9
Язык:
Английский
Страниц:
284
Заглавие серии:
Ellis Horwood series in computers and their applications
Описание:
Abstract interpretation of declarative languages / ed.: Samson Abramsky a Chris Hankin, Ph. D. - Chichester ; New York : Horwood Halsted press, 1987. - 284 с. : схем. ; 25 см. - (Ellis Horwood series in computers and their applications). - Библиогр.: с. 276-282
Рейтинг по отзывам:
4.5
Рубрики:
Интерпретаторы с информационных языков
Примечания:
Библиогр.: с. 276-282
ББК:
3973.2-018-5-05
Другие ответственные лица:
Abramsky, Samson → Редактор
Дата создания:
2022-01-09 21:49:41
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Abstract interpretation of declarative languages
Можно ли прочитать книгу за неделю?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Городская библиотека №3, г. Химки
Московская область, Химки городской округ, Химки, Новые Химки м-н
Юбилейный проспект, 20
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-18:00
 +7 (495) 571-15-24
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №16
Москва, Москва, Таганский район
Малая Калитниковская, 22
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
 +7 (495) 670-82-15 +7 (495) 670-73-12
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. А.С. Суханова
Тюменская область, Тобольск городской округ, Тобольск
Аптекарская, 4
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-19:00
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Е.И. Аркадьева
Самарская область, Сызрань городской округ, Сызрань
Советская, 92
Расположение на карте
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +7 (8464) 98-70-54
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №11
Белгородская область, Старооскольский городской округ, Старый Оскол, Рудничный м-н
Рудничный микрорайон, 1а
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Сб: 12:00-20:00
Вс: 12:00-20:00
 +7 (4725) 24-65-01
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система городского округа Кохма
Ивановская область, Кохма городской округ, Кохма
Советская, 30
Расположение на карте
санитарный день: последний день месяца
Пн: 08:30-12:30 13:00-17:00
Вт: 08:30-12:30 13:00-17:00
Ср: 08:30-12:30 13:00-17:00
Чт: 08:30-12:30 13:00-17:00
Пт: 08:30-12:30 13:00-17:00
Вс: 08:30-12:30 13:00-15:00
 +7 (4932) 55-16-62
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №3, пос. Новый
Приморский край, Надеждинский район, пос. Новый
Первомайская, 37
Расположение на карте
санитарный день: последний день месяца
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00
Название и адрес
Режим работы
Телефон
Библиотека им. И.А. Крылова
Республика Удмуртия, Ижевск городской округ, Ижевск, Октябрьский район, Центр
Карла Маркса, 271
Расположение на карте
зимний период: вт-сб 9:00-18:00; пн выходной; санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (3412) 43-05-29
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Н.А. Некрасова
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ, Центральный
Рашпилевская, 178
Расположение на карте
Пн: 08:30-17:00
Вт: 08:30-17:00
Ср: 08:30-17:00
Чт: 08:30-17:00
Пт: 08:30-17:00
 +7 (861) 259-84-71
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №6, г. Минусинск
Красноярский край, Минусинск городской округ, Минусинск
Сургуладзе, 17
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (39132) 5-37-54
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Городская библиотека №3, г. Химки
Московская область, Химки городской округ, Химки, Новые Химки м-н
Юбилейный проспект, 20
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-18:00
 +7 (495) 571-15-24
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №16
Москва, Москва, Таганский район
Малая Калитниковская, 22
Расположение на карте
санитарный день: последний вт месяца
Вт: 10:00-22:00
Ср: 10:00-22:00
Чт: 10:00-22:00
Пт: 10:00-22:00
Сб: 10:00-22:00
Вс: 10:00-20:00
 +7 (495) 670-82-15 +7 (495) 670-73-12
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. А.С. Суханова
Тюменская область, Тобольск городской округ, Тобольск
Аптекарская, 4
Расположение на карте
санитарный день: последний вт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Вс: 10:00-19:00
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Е.И. Аркадьева
Самарская область, Сызрань городской округ, Сызрань
Советская, 92
Расположение на карте
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Сб: 10:00-17:00
Вс: 10:00-17:00
 +7 (8464) 98-70-54
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №11
Белгородская область, Старооскольский городской округ, Старый Оскол, Рудничный м-н
Рудничный микрорайон, 1а
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-20:00
Вт: 12:00-20:00
Ср: 12:00-20:00
Чт: 12:00-20:00
Сб: 12:00-20:00
Вс: 12:00-20:00
 +7 (4725) 24-65-01
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная библиотечная система городского округа Кохма
Ивановская область, Кохма городской округ, Кохма
Советская, 30
Расположение на карте
санитарный день: последний день месяца
Пн: 08:30-12:30 13:00-17:00
Вт: 08:30-12:30 13:00-17:00
Ср: 08:30-12:30 13:00-17:00
Чт: 08:30-12:30 13:00-17:00
Пт: 08:30-12:30 13:00-17:00
Вс: 08:30-12:30 13:00-15:00
 +7 (4932) 55-16-62
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №3, пос. Новый
Приморский край, Надеждинский район, пос. Новый
Первомайская, 37
Расположение на карте
санитарный день: последний день месяца
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00
Сб: 09:00-12:00 13:00-17:00
Название и адрес
Режим работы
Телефон
Библиотека им. И.А. Крылова
Республика Удмуртия, Ижевск городской округ, Ижевск, Октябрьский район, Центр
Карла Маркса, 271
Расположение на карте
зимний период: вт-сб 9:00-18:00; пн выходной; санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (3412) 43-05-29
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека им. Н.А. Некрасова
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ, Центральный
Рашпилевская, 178
Расположение на карте
Пн: 08:30-17:00
Вт: 08:30-17:00
Ср: 08:30-17:00
Чт: 08:30-17:00
Пт: 08:30-17:00
 +7 (861) 259-84-71
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека №6, г. Минусинск
Красноярский край, Минусинск городской округ, Минусинск
Сургуладзе, 17
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (39132) 5-37-54
Показать номер
Прикрепить файл
Вы недавно смотрели