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г.. Труды.
3066
Краткое содержание:
Экранизация книги

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)
Рейтинг по отзывам:
4.5
Рубрики:
Вычислительные системы реального времени → Отказо-устойчивость → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл
Другие ответственные лица:
Langmaack, Hans → Редактор
Дата создания:
2019-10-15 21:51:43
Соц. сети:
Fault-tolerant System design | Rim Khazhin
Operating a high-load mobile application and its backend on a daily basis while continuously adding new features and preventing everything from collapsing is ...
International PHP Conference
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
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г.. Труды.
Она устаревшая или актуальная?
Устарела
Актуальна
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Critical systems engineering
Explains the differences between critical systems engineering and the software engineering processes for other types of software intensive system.
Ian Sommerville
Formal verification and learning of complex systems - Professor Alessandro Abate
For slides, future Logic events and more, please visit: https://logic-data-science.github.io/?page=logic_learning Two known shortcomings of standard techniques ...
The Alan Turing Institute
Circuit Sessions with Ali Javadi
Speaker: Ali Javadi Topic: Qiskit Circuit Library Notebook: https://github.com/ajavadia/qiskit-terra/blob/Demo/demo/Circuit%20Library%20Demo.ipynb ...
Qiskit
Название и адрес
Режим работы
Телефон
Городская детская библиотека №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
Показать номер
Concurrent Testing for Fault tolerant Embedded Systems - 2
NPTEL IIT Guwahati Session 14: Fault Diagnosis and Fault Tolerant Control  - Examples on Verified Diagnosis of
SWIM - SMART 2017 Day 3 - June 16th 2017 Session 14: Fault Diagnosis and Fault Tolerant Control - Examples on Verified Diagnosis of Safety Critical ...
CoSyIntMet How we program multicores - Joe Armstrong
When we write a program, we just want it to run faster when we run it on a multicore. If I have a 10 core computer I just want it to run 10 times faster, if I have a ...
RISE SICS Building Streaming Microservices with Apache Kafka - Tim Berglund
Streaming is all the rage in the data space, but can stream processing be used to build business systems? Do Streaming and Microservices actually have ...
Devoxx
Егор Петров
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
Показать номер
Азат Нагирян
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г.. Труды.. Аннотация: Проанализированы и сформулированы понятия "формальные методы" и "технические решения", лежащие в основе формализации знаний в компьютерных системах, в том числе вопросы, связанные со спецификой формализованного представления знаний при проектировании систем реального времени (СРВ).
Прикрепить файл