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

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
Показать номер
Прикрепить файл
Вы недавно смотрели