Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.
1086
Купить
Краткое содержание:
Экранизация книги

Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.

Автор:
Lakhnech Yassine
Год:
1996
Язык:
–
Перевод заглавия:
Спецификация и верификация систем гибридных и реального времени.
Заглавие серии:
Bericht / Inst. für Informatik u. praktische Mathematik der Christian-Albrechts-Univ. zu Kiel ; N 9609
Описание:
Lakhnech Yassine Specification and verification of hybrid and real-time systems : Diss / Yassine Lakhnech. - Kiel : Christian-Albrechts-Univ., 1996. - [1], 187с. : ил. ; 21 см. - (Bericht / Inst. für Informatik u. praktische Mathematik der Christian-Albrechts-Univ. zu Kiel ; N 9609). - Библиогр.: с. 175-184
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Вычислительные системы гибридные; Вычислительные системы реального времени; Программы(компьют.) → Верификация
Примечания:
Библиогр.: с. 175-184
Дата создания:
2022-04-28 09:42:26
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.
Опросы
Входит ли в школьную программу?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Specification and verification of hybrid and real-time systems : Diss = Спецификация и верификация систем гибридных и реального времени.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Солом'янський район, Солом'янка
Повітрофлотський проспект, 10
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-17:00
msmb.org.ua
Facebook:  https://facebook.com/msmbgkiev
Твиттер:  https://twitter.com/@ver288
 +380 (44) 244-02-89 +380 (44) 248-29-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Паланочная, 17Б
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Российская государственная библиотека
Москва, Москва, Арбат район
Воздвиженка, 3/5 ст3
Расположение на карте
санитарный день: последний пн месяца
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
www.rsl.ru
Вконтакте:  https://vk.com/leninka_ru
Инстаграм:  https://instagram.com/leninka_official
Твиттер:  https://twitter.com/@leninka_ru
Youtube:  https://youtube.com/user/RussianStateLibrary
 8-800-100-57-90 +7 (499) 557-04-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Болошневская сельская библиотека
Рязанская область, Рязанский район, с. Болошнево
Широкая, 37
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Приморского района
Архангельская область, Приморский район, д. Большое Анисимово
60 лет Октября, 18
Расположение на карте
primlib.ru
Вконтакте:  https://vk.com/primlib
 +7 (8182) 60-21-22 +7 (8182) 25-43-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, г. Каспийск
Республика Дагестан, Каспийск городской округ, Каспийск
Советская, 18
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К. Паустовского
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Затулинский ж/м
Петухова, 68
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (383) 342-71-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная сельскохозяйственная библиотека
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №3 "Адмиралтейский"
Большая Морская, 42
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
 +7 (812) 314-49-17 +7 (812) 314-49-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Государственная библиотека для слепых и слабовидящих
Санкт-Петербург, Санкт-Петербург, Петроградский район, МО №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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Омский региональный центр доступа к информационным ресурсам Президентской библиотеки
Омская область, Омск городской округ, Омск
Красный Путь, 11
Расположение на карте
июль-август: пн-сб 10:00-18:00; вс выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
prlib.ru
omsklib.ru
 +7 (3812) 24-57-77
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Молода гвардія, городская специализированная молодежная библиотека
Киев город со специальным статусом, Київ, Солом'янський район, Солом'янка
Повітрофлотський проспект, 10
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-17:00
msmb.org.ua
Facebook:  https://facebook.com/msmbgkiev
Твиттер:  https://twitter.com/@ver288
 +380 (44) 244-02-89 +380 (44) 248-29-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна міська бібліотека
Днепропетровская область, Новомосковск
Паланочная, 17Б
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +380 (5693) 7-14-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Российская государственная библиотека
Москва, Москва, Арбат район
Воздвиженка, 3/5 ст3
Расположение на карте
санитарный день: последний пн месяца
Пн: 09:00-20:00
Вт: 09:00-20:00
Ср: 09:00-20:00
Чт: 09:00-20:00
Пт: 09:00-20:00
Сб: 09:00-20:00
www.rsl.ru
Вконтакте:  https://vk.com/leninka_ru
Инстаграм:  https://instagram.com/leninka_official
Твиттер:  https://twitter.com/@leninka_ru
Youtube:  https://youtube.com/user/RussianStateLibrary
 8-800-100-57-90 +7 (499) 557-04-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Болошневская сельская библиотека
Рязанская область, Рязанский район, с. Болошнево
Широкая, 37
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-14:00 15:00-18:00
Ср: 11:00-14:00 15:00-18:00
Чт: 11:00-14:00 15:00-18:00
Пт: 11:00-14:00 15:00-18:00
Сб: 11:00-14:00 15:00-18:00
Вс: 11:00-14:00 15:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Приморского района
Архангельская область, Приморский район, д. Большое Анисимово
60 лет Октября, 18
Расположение на карте
primlib.ru
Вконтакте:  https://vk.com/primlib
 +7 (8182) 60-21-22 +7 (8182) 25-43-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, г. Каспийск
Республика Дагестан, Каспийск городской округ, Каспийск
Советская, 18
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. К. Паустовского
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район, Затулинский ж/м
Петухова, 68
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
 +7 (383) 342-71-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная сельскохозяйственная библиотека
Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №3 "Адмиралтейский"
Большая Морская, 42
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-17:00
 +7 (812) 314-49-17 +7 (812) 314-49-14
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Государственная библиотека для слепых и слабовидящих
Санкт-Петербург, Санкт-Петербург, Петроградский район, МО №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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Омский региональный центр доступа к информационным ресурсам Президентской библиотеки
Омская область, Омск городской округ, Омск
Красный Путь, 11
Расположение на карте
июль-август: пн-сб 10:00-18:00; вс выходной
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
prlib.ru
omsklib.ru
 +7 (3812) 24-57-77
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.