Current trends in hardware verification and automated theorem proving : Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988
1843
Купить
Краткое содержание:
Экранизация книги

Current trends in hardware verification and automated theorem proving : Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988

Год:
Cop.1989
isbn:
0-387-96988-8
Язык:
Английский
Страниц:
489
Описание:
Current trends in hardware verification and automated theorem proving : [Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988] / G. Birtwistle, P. A. Subrahmanyam, eds. - New York etc. : Springer-Verl., Cop.1989. - X, 489 с. : схем. ; 24 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математика → Доказательства → Применение счетных машин
Примечания:
Библиогр. в конце докл.
ББК:
В123 ; В192.161с116
Другие ответственные лица:
Birtwistle, Graham → Редактор
Дата создания:
2021-04-01 19:21:25
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Current trends in hardware verification and automated theorem proving : Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Current trends in hardware verification and automated theorem proving : Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988
Опросы
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Current trends in hardware verification and automated theorem proving : Based on the papers of a Workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Монинская городская библиотека
Московская область, Щёлковский район, пос. Монино
Авиационная, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.В. Волоскова
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Уральских Рабочих, 33
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-20:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (34368) 5-38-79 +7 (34368) 4-55-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Чубарова, 4
Расположение на карте
зимний период: пн-пт 12:00-19:00; сб 12:00-18:00; санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 25-00-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека г. Рыбное
Рязанская область, Рыбновский район, Рыбное
Театральная, 1
Расположение на карте
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
 +7 (49137) 5-22-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.А. Добролюбова
Красноярский край, Красноярск городской округ, Красноярск, Кировский район
Газеты Красноярский Рабочий проспект, 102
Расположение на карте
санитарный день: последний чт месяца
Пн: 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.perensona23.ru
Вконтакте:  https://vk.com/dobrolibrary
 +7 (391) 201-18-91
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная детская библиотека им. В.Г. Белинского, Централизованная библиотечная система Московского района г. Нижнего Новгорода
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район
Буревестника, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
crdb-nn.ru
Вконтакте:  https://vk.com/id204696934
Facebook:  https://facebook.com/crdb.belinka
Youtube:  https://youtube.com/channel/UCqJN21KhYF_8EKlobmzb_HA
 +7 (831) 224-52-94 +7 (831) 274-37-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Правобережный округ
Баррикад, 135
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
cbs.irkipedia.ru
 +7 (3952) 33-68-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №8
Приморский край, Владивостокский городской округ, Владивосток, Первомайский район
Приморская, 5
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@muk_vcbs
 +7 (423) 260-25-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая централизованная библиотечная система Завьяловского района
Республика Удмуртия, Завьяловский район, с. Завьялово
Чкалова, 38/1
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
www.zbib.ru
Вконтакте:  https://vk.com/club4italka
 +7 (3412) 62-07-52 +7 (3412) 62-01-09 +7 (3412) 62-10-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Сахалинская область, Южно-Сахалинск городской округ, с. Старорусское
Центральная, 12
Расположение на карте
Ср: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-17:00
 +7 (4242) 23-26-46
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Монинская городская библиотека
Московская область, Щёлковский район, пос. Монино
Авиационная, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.В. Волоскова
Свердловская область, Верхняя Пышма городской округ, Верхняя Пышма
Уральских Рабочих, 33
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-20:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (34368) 5-38-79 +7 (34368) 4-55-94
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6, МБУК Центральная городская библиотека
Камчатский край, Петропавловск-Камчатский городской округ, Петропавловск-Камчатский
Чубарова, 4
Расположение на карте
зимний период: пн-пт 12:00-19:00; сб 12:00-18:00; санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Вконтакте:  https://vk.com/kamlibpk
Инстаграм:  https://instagram.com/kamlibpk
Facebook:  https://facebook.com/kamlibpk
Одноклассники:  https://ok.ru/kamlibpk
Youtube:  https://youtube.com/channel/UCLXNmyAvFHE4TdhTCQdmSqg
 +7 (4152) 25-00-45
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека г. Рыбное
Рязанская область, Рыбновский район, Рыбное
Театральная, 1
Расположение на карте
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-17:00
 +7 (49137) 5-22-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. Н.А. Добролюбова
Красноярский край, Красноярск городской округ, Красноярск, Кировский район
Газеты Красноярский Рабочий проспект, 102
Расположение на карте
санитарный день: последний чт месяца
Пн: 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.perensona23.ru
Вконтакте:  https://vk.com/dobrolibrary
 +7 (391) 201-18-91
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная детская библиотека им. В.Г. Белинского, Централизованная библиотечная система Московского района г. Нижнего Новгорода
Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Московский район
Буревестника, 9
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-17:00
crdb-nn.ru
Вконтакте:  https://vk.com/id204696934
Facebook:  https://facebook.com/crdb.belinka
Youtube:  https://youtube.com/channel/UCqJN21KhYF_8EKlobmzb_HA
 +7 (831) 224-52-94 +7 (831) 274-37-35
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Правобережный округ
Баррикад, 135
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
cbs.irkipedia.ru
 +7 (3952) 33-68-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №8
Приморский край, Владивостокский городской округ, Владивосток, Первомайский район
Приморская, 5
Расположение на карте
санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
www.vladlib.ru
Вконтакте:  https://vk.com/vladlib
Facebook:  https://facebook.com/245727318847362
Одноклассники:  https://ok.ru/group/53232682598625
Твиттер:  https://twitter.com/@muk_vcbs
 +7 (423) 260-25-83
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая централизованная библиотечная система Завьяловского района
Республика Удмуртия, Завьяловский район, с. Завьялово
Чкалова, 38/1
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
www.zbib.ru
Вконтакте:  https://vk.com/club4italka
 +7 (3412) 62-07-52 +7 (3412) 62-01-09 +7 (3412) 62-10-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №17
Сахалинская область, Южно-Сахалинск городской округ, с. Старорусское
Центральная, 12
Расположение на карте
Ср: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Сб: 10:00-13:00 14:00-17:00
 +7 (4242) 23-26-46
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.