Abstraction refinement for large scale model checking
1813
Купить
Краткое содержание:
Экранизация книги

Abstraction refinement for large scale model checking

Авторы:
Wang Chao
Hachtel Gary D.
Somenzi Fabio
Год:
cop. 2006
isbn:
0-387-34155-2
Язык:
Английский
Страниц:
179
Заглавие серии:
Series on integrated circuits and systems
Описание:
Wang C., Hachtel G. D., Somenzi F. Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi. - New York : Springer, cop. 2006. - XIV, 179 с. : ил. ; 24 см. - (Series on integrated circuits and systems). - Библиогр.: с. 157-169. - Указ.: с. 177-179
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Компьютерное моделирование → Оптимизационные методы
Примечания:
Библиогр.: с. 157-169 . - Указ.: с. 177-179
Дата создания:
2022-01-27 01:14:52
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Abstraction refinement for large scale model checking

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Abstraction refinement for large scale model checking
Опросы
Книга имеет отношение к религии?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Abstraction refinement for large scale model checking

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. М.В. Гоголя
Киев город со специальным статусом, Київ, Голосіївський район
Велика Васильківська, 136
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 11:00-18:00
Вс: 11:00-18:00
gogolbibl.blogspot.com
 +380 (44) 529-14-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №101
Киев город со специальным статусом, Київ, Шевченківський район, Лук'янівка
Коперніка, 27
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-17:00
 +380 (44) 483-91-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Монинская городская библиотека
Московская область, Щёлковский район, пос. Монино
Авиационная, 1
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-16:00
bibliomonino.ru
Вконтакте:  https://vk.com/public131396044
 +7 (496) 253-19-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская межпоселенческая библиотека
Самарская область, Ставропольский район, с. Подстепки
Юбилейная, 22
Расположение на карте
Пн: 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 (8482) 23-11-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ильбухтинская сельская библиотека
Республика Татарстан, Тукаевский район, с. Ильбухтино
Верхняя, 28а
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
Сб: 09:00-12:00 13:00-16:00
 +7-952-047-05-71
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №21
Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Центральный район, 13-й микрорайон
Бажова, 17
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (3462) 35-40-38 +7 (3462) 35-40-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Красноярский край, Дивногорск городской округ, пос. Слизнево
Нагорная, 1а
Расположение на карте
Вт: 13:00-17:00
Чт: 13:00-17:00
Сб: 13:00-17:00
www.libdiv.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №34, г. Кстово
Нижегородская область, Кстовский район, Кстово
Победы проспект, 2а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/kslib
 +7 (83145) 9-07-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Саратовская область, Саратовский район, пос. Сергиевский
Октябрьская, 22
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.К. Крупской
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ленинский район, Новое Поселение
Комиссаровский переулок, 9
Расположение на карте
санитарный день: вторая ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
 +7 (863) 232-68-21
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. М.В. Гоголя
Киев город со специальным статусом, Київ, Голосіївський район
Велика Васильківська, 136
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 11:00-18:00
Вс: 11:00-18:00
gogolbibl.blogspot.com
 +380 (44) 529-14-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека №101
Киев город со специальным статусом, Київ, Шевченківський район, Лук'янівка
Коперніка, 27
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-17:00
 +380 (44) 483-91-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Монинская городская библиотека
Московская область, Щёлковский район, пос. Монино
Авиационная, 1
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-16:00
bibliomonino.ru
Вконтакте:  https://vk.com/public131396044
 +7 (496) 253-19-39
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская межпоселенческая библиотека
Самарская область, Ставропольский район, с. Подстепки
Юбилейная, 22
Расположение на карте
Пн: 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 (8482) 23-11-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Ильбухтинская сельская библиотека
Республика Татарстан, Тукаевский район, с. Ильбухтино
Верхняя, 28а
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
Сб: 09:00-12:00 13:00-16:00
 +7-952-047-05-71
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №21
Ханты-Мансийский автономный округ, Сургут городской округ, Сургут, Центральный район, 13-й микрорайон
Бажова, 17
Расположение на карте
санитарный день: последний день месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
 +7 (3462) 35-40-38 +7 (3462) 35-40-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система
Красноярский край, Дивногорск городской округ, пос. Слизнево
Нагорная, 1а
Расположение на карте
Вт: 13:00-17:00
Чт: 13:00-17:00
Сб: 13:00-17:00
www.libdiv.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №34, г. Кстово
Нижегородская область, Кстовский район, Кстово
Победы проспект, 2а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
Вконтакте:  https://vk.com/kslib
 +7 (83145) 9-07-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Саратовская область, Саратовский район, пос. Сергиевский
Октябрьская, 22
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 09:00-13:00 14:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.К. Крупской
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ленинский район, Новое Поселение
Комиссаровский переулок, 9
Расположение на карте
санитарный день: вторая ср месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Вс: 10:00-18:00
www.donlib.ru
Вконтакте:  https://vk.com/rostov_library
 +7 (863) 232-68-21
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.