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г.. Труды.
2957

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
Язык:
Заглавие серии:
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)
Рейтинг по отзывам:
3
Рубрики:
Вычислительные системы реального времени → Отказо-устойчивость → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Страниц:
Дата создания:
2019-10-15 21:51:43
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
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г.. Труды.
Есть ли иллюстрации в этой книге?
Да.
Нет.
Возможно.
Не знаю
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Городская детская библиотека №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
 +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
Название и адрес
Режим работы
Телефон
Библиотека №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
 +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
 +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
 +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
Название и адрес
Режим работы
Телефон
Лабиринт, интернет-магазин
Тюменская область, Тюмень городской округ, Тюмень, Ленинский округ, Район КПД
Пермякова, 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
 +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
 +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
 +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
 +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
 +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
 +7 (383) 363-68-02
Показать номер
Прикрепить файл