Formal techniques in real-time and fault-tolerant systems : Third Intern. symp. organized jointly with the Working group provably correct systems - ProCoS, Lübeck, Germany, Sept. 19-23, 1994 : Procceedings = Формальная техника в системах реального времени и отказо-устойчивых системах. Третий Международный симпозиум, организованный совместно с рабочей группой доказуемых корректных систем - ProCoS, . Любек, Германия, 19-23 сентября 1994г.. Труды.

Год:

cop. 1994

isbn:

3-540-58468-4

Язык:

–

Перевод заглавия:

Формальная техника в системах реального времени и отказо-устойчивых системах. Третий Международный симпозиум, организованный совместно с рабочей группой доказуемых корректных систем - ProCoS, . Любек, Германия, 19-23 сентября 1994г.. Труды.

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

Lecture notes in computer science ; 863

Описание:

Formal techniques in real-time and fault-tolerant systems : Third Intern. symp. organized jointly with the Working group provably correct systems - ProCoS, Lübeck, Germany, Sept. 19-23, 1994 : Procceedings / H. Langmaack et al. (eds.). - Berlin etc. : Springer-Verl., cop. 1994. - XIV, 787c. : ил. ; 24 см. - (Lecture notes in computer science ; 863)

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

Рубрики:

Вычислительные системы реального времени → Отказо-устойчивость → Съезды, совещания и т.п.

Примечания:

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

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

Langmaack, Hans → Редактор

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

2019-10-15 21:51:43

Соц. сети:

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

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

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

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

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

Режим работы

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

Телефон

Городская детская библиотека №18 им. Ж. Боконбаева, Централизованная библиотечная система

Бишкек, Бишкек, Первомайский район
Манаса проспект, 63а
Расположение на карте

Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00

+996 (312) 31-12-91

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

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

Режим работы

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

Телефон

Актюбинская областная юношеская библиотека им. С. Жиенбаева, КГУ

Актюбинская область, Актобе городская администрация, Актобе
Прохорова, 11
Расположение на карте

Пн: 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
Сб: 09:00-13:00 14:00-18:00
Вс: 09:00-13:00 14:00-18:00

+7 (7132) 90-51-09 +7 (7132) 50-44-48

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

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

Режим работы

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

Телефон

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

Мурманская область, Кировск городской округ, Кировск
Ленина проспект, 15
Расположение на карте

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

erofeevm.bibliokirovsk.ru

+7 (81531) 5-46-34

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

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

Режим работы

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

Телефон

Библиотека им. Н.В. Гоголя

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

летний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 10:00-20:00
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Вс: 10:00-18:00

библиотеки.кемеровские.рф
Вконтакте: https://vk.com/kemerovskie
Твиттер: https://twitter.com/@spravkacbs
Google plus: https://plus.google.com/106616187117403293819

+7 (3842) 51-77-11 +7 (3842) 51-05-44 +7 (3842) 51-72-43 +7 (3842) 51-65-88 +7 (3842) 51-65-66

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

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

Режим работы

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

Телефон

Библиотека №2, г. Новокуйбышевск

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

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

+7 (84635) 4-15-25

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

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

Режим работы

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

Телефон

Библиотека №3, Централизованная библиотечная система г. Белгорода

Белгородская область, Белгород городской округ, Белгород, Западный округ
Кирпичная, 65Б
Расположение на карте

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

цбс-белгород.рф

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

Режим работы

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

Телефон

Областная специальная библиотека для слепых

Саратовская область, Энгельсский район, Энгельс
Восточный переулок, 12
Расположение на карте

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

www.sarspeclib.ru

+7 (8453) 95-23-06

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

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

Режим работы

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

Телефон

Государственная библиотека для слепых и слабовидящих

Санкт-Петербург, Санкт-Петербург, Петроградский район, МО №62 "Петровский"
Ленина, 20
Расположение на карте

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

www.gbs.spb.ru
Вконтакте: https://vk.com/gbsspb
Инстаграм: https://instagram.com/libraryforblind?ref=badge
Facebook: https://facebook.com/gbsspb

+7 (812) 417-55-48 +7 (812) 417-35-22

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

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

Режим работы

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

Телефон

Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ

Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Орджоникидзевский район, Новобайдаевский м-н
Зорге, 6
Расположение на карте

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

новокузнецк400.рф
www.libnvkz.ru
Вконтакте: https://vk.com/gogolevka
Инстаграм: https://instagram.com/gogolevka
Facebook: https://facebook.com/gogolevka
Одноклассники: https://ok.ru/gogolevka
Твиттер: https://twitter.com/@gogolevka
Youtube: https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest: https://pinterest.com/gogolevka

+7 (3843) 34-24-35

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

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

Режим работы

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

Телефон

Опытнинская сельская библиотека

Республика Хакасия, Усть-Абаканский район, с. Зелёное
Хакасская, 6
Расположение на карте

Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 09:00-13:00 14:00-17:00

+7 (39032) 2-54-63

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

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

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

Режим работы

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

Телефон

Магазин книг и канцтоваров, ФЛП Ищенко В.А.

Одесская область, Одесса, Киевский район, Посёлок Таирова м-н
Академика Королёва, 92
Расположение на карте

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

+380 (482) 49-50-41

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

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

Режим работы

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

Телефон

Книжный магазин

Астана, Астана, 2-й м-н
Петрова, 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

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

Режим работы

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

Телефон

Школа, издательский дом

Харьковская область, Харьков, Слободской район
Морозова, 13Б
Расположение на карте

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

www.schoolbook.com.ua

+380 (57) 762-32-22 +380 (57) 340-51-07 +380 67-579-63-69

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

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

Режим работы

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

Телефон

Лабиринт, интернет-магазин

Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Район КПД
Пермякова, 7Б
Расположение на карте

Пн: 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

www.labirint.ru
Вконтакте: https://vk.com/labirint_ru
Facebook: https://facebook.com/labirint.ru
Youtube: https://youtube.com/user/labirintruTV

+7 (3452) 69-22-18 8-800-500-95-25

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

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

Режим работы

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

Телефон

Книжный магазин

Московская область, Одинцовский район, Одинцово, 5-й м-н
Маршала Крылова бульвар, 15
Расположение на карте

Пн: 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

+7-926-815-62-04

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

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

Режим работы

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

Телефон

Любимый Книжный, сеть книжных магазинов, ООО Аист Пресс

Республика Татарстан, Казань городской округ, Казань, Советский
Сибирский тракт, 13
Расположение на карте

Пн: 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

aistpress.ru
Вконтакте: https://vk.com/aistpress

+7 (843) 525-56-15 +7 (843) 590-71-99

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

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

Режим работы

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

Телефон

Кругозор, магазин

Челябинская область, Миасский городской округ, Миасс, Автозавод ж/м
Автозаводцев проспект, 56
Расположение на карте

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

Вконтакте: https://vk.com/krugozormiass

+7-951-770-58-48

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

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

Режим работы

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

Телефон

Академия Знаний, ООО, компания

Новосибирск городской округ, Новосибирск

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

www.stendy.su

+7 (383) 375-11-28

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

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

Режим работы

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

Телефон

Сибирское университетское издательство, ООО

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

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

www.sup99.ru

+7 (383) 306-26-69

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

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

Режим работы

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

Телефон

Book-Look, сеть книжно-канцелярских магазинов

Новосибирская область, Новосибирск городской округ, Новосибирск, Центральный район
Гоголя, 13
Расположение на карте

Пн: 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

Вконтакте: https://vk.com/club82355147

+7 (383) 363-68-02

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