6th Refinement workshop : Proc. of the 6th Refinement workshop, organized by BCS-FACS, London, 5-7 Jan. 1994 = Шестой семинар по усовершенстованию. Труды шестого семинара по усовершенствованию (вычислительных систем), организованного Британским компьютерным обществом и журналом "Формальные аспекты вычислительной техники", Лондон, 5-7 января 1994г..
1282

6th Refinement workshop : Proc. of the 6th Refinement workshop, organized by BCS-FACS, London, 5-7 Jan. 1994 = Шестой семинар по усовершенстованию. Труды шестого семинара по усовершенствованию (вычислительных систем), организованного Британским компьютерным обществом и журналом "Формальные аспекты вычислительной техники", Лондон, 5-7 января 1994г..

Автор:
Refinement workshop (1994 London)
Год:
cop. 1994
isbn:
3-540-19886-5
Язык:
Заглавие серии:
Workshops in computing
Описание:
Refinement workshop. 6th Refinement workshop : Proc. of the 6th Refinement workshop, organized by BCS-FACS, London, 5-7 Jan. 1994 / David Till (ed.). - London etc. : Springer in collab. with the Brit. computer soc., cop. 1994. - X, 306c. : ил. ; 24 см. - (Workshops in computing)
Рейтинг по отзывам:
5
Рубрики:
Вычислительные системы → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Страниц:
Дата создания:
2019-10-12 05:41:45
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
6th Refinement workshop : Proc. of the 6th Refinement workshop, organized by BCS-FACS, London, 5-7 Jan. 1994 = Шестой семинар по усовершенстованию. Труды шестого семинара по усовершенствованию (вычислительных систем), организованного Британским компьютерным обществом и журналом "Формальные аспекты вычислительной техники", Лондон, 5-7 января 1994г..
была ли экранизация книги?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Центральна дитяча бібліотека ім. Матросова
Харьковская область, Харьков, Новобаварский район
Маршала Конева, 13
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-17:00
 +380 (57) 712-20-79
Показать номер
Название и адрес
Режим работы
Телефон
Специализированная краеведческая библиотека
Московская область, Электросталь городской округ, Электросталь, Юго-Западный м-н
Ялагина, 10
Расположение на карте
Вт: 13:00-20:00
Ср: 13:00-20:00
Чт: 13:00-20:00
Пт: 13:00-20:00
Сб: 13:00-20:00
Вс: 12:00-19:00
 +7 (49657) 3-11-28
Показать номер
Название и адрес
Режим работы
Телефон
Никольско-Архангельская библиотека
Московская область, Балашиха городской округ, Балашиха, Никольско-Архангельский м-н
9-я линия, 60
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
 +7 (495) 524-11-04
Показать номер
Название и адрес
Режим работы
Телефон
Центральная библиотека №106 ЦБС ЮВАО, г. Москва
Москва, Москва, Рязанский район
Яснополянская, 3 к2
Расположение на карте
санитарный день: последний вт месяца
Вт: 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 (499) 170-98-37
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека, г. Дегтярск
Свердловская область, Дегтярск городской округ, Дегтярск
Калинина, 5
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-16:00
 +7 (34397) 6-57-18
Показать номер
Название и адрес
Режим работы
Телефон
Ровновская сельская библиотека
Рязанская область, Рязанский район, д. Ровное
Школьная, 9
Расположение на карте
Название и адрес
Режим работы
Телефон
Библиотека №10
Саратовская область, Саратов городской округ, Саратов, 3-й Дачный
Международная, 2
Расположение на карте
технический день: последняя пт месяца
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
 +7 (8452) 63-31-55
Показать номер
Название и адрес
Режим работы
Телефон
Тверской областной центр детского и семейного чтения им. А.С. Пушкина
Тверская область, Тверь городской округ, Тверь, Центральный район
Советская, 64
Расположение на карте
зимний период: пн-пт 9:00-18:00; вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7 (4822) 34-48-11 +7 (4822) 34-71-82
Показать номер
Название и адрес
Режим работы
Телефон
Центральная детская библиотека им. В.В. Голявкина, Кировский район
Санкт-Петербург, Санкт-Петербург, Кировский район, МО №26 "Ульянка"
Ветеранов проспект, 76
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (812) 750-08-02 +7 (812) 759-24-29
Показать номер
Название и адрес
Режим работы
Телефон
Православная центральная библиотека, г. Бийск
Алтайский край, Бийск городской округ, Бийск
Иркутская, 1/1
Расположение на карте
Вт: 10:30-14:30
Ср: 10:30-14:30
Чт: 10:30-14:30
Сб: 10:30-14:30
Вс: 10:30-14:30
 +7 (3854) 33-23-28
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
КнигоЛенд, сеть магазинов
Киев город со специальным статусом, Київ, Дарницький район, Харківський масив
Харківське шосе, 152
Расположение на карте
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00
Название и адрес
Режим работы
Телефон
Кітап+, книжный магазин
Западно-Казахстанская область, Уральск
Евразия проспект, 101
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7 (7112) 50-97-33
Показать номер
Название и адрес
Режим работы
Телефон
КИНДЕРМИР, магазин
Днепропетровская область, Днепр, Амур-Нижнеднепровский район
Слобожанский проспект, 17а к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
Название и адрес
Режим работы
Телефон
Творческое объединение Алькор, ООО, производственная компания
Ярославская область, Ярославский район, Ярославль, Фрунзенский район
Московский проспект, 1а ст7
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
 +7-920-103-01-76 +7 (4852) 59-43-69
Показать номер
Название и адрес
Режим работы
Телефон
Полиграфист, сеть магазинов книг и канцелярских товаров
Саратовская область, Саратов городской округ, Саратов, Ленинский район, Солнечный
им. Тархова С.Ф., 29а/1
Расположение на карте
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-19:00
Вс: 09:00-19:00
 +7 (8452) 29-22-92 +7-987-350-02-05
Показать номер
Название и адрес
Режим работы
Телефон
Читай-город, сеть книжных магазинов
Московская область, Щёлковский район, Щёлково, Заречный м-н
Талсинская, 2
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
 8-800-444-84-44
Показать номер
Название и адрес
Режим работы
Телефон
Книжный маркет
Республика Саха (Якутия), Якутск городской округ, Якутск, Строительный округ
Рыдзинского, 24/4
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7-914-2-741-423 +7-914-2-736-417
Показать номер
Название и адрес
Режим работы
Телефон
ЛИНИЯ ПРАВА, книжный магазин юридической литературы
Свердловская область, Екатеринбург городской округ, Екатеринбург, Октябрьский район, Центр
Луначарского, 214
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
 +7-906-808-96-87 +7 (343) 207-88-77
Показать номер
Название и адрес
Режим работы
Телефон
БАГРАД, торговая компания, ИП Терехов Ю.А.
Новосибирская область, Бердск городской округ, Бердск
Вокзальная, 4/1
Расположение на карте
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +7-913-985-47-76
Показать номер
Название и адрес
Режим работы
Телефон
Лабиринт.ру, интернет-магазин
Санкт-Петербург, Санкт-Петербург, Приморский район, МО №68 "Озеро Долгое"
Авиаконструкторов проспект, 5 к2
Расположение на карте
Пн: 10:00-21:00
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-21:00
Прикрепить файл