Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Numerical Validation in Current Hardware Architectures, Annie A.M. Cuyt; Walter Kr?mer; Wolfram Luther; Pe


Варианты приобретения
Цена: 9781.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Annie A.M. Cuyt; Walter Kr?mer; Wolfram Luther; Pe
Название:  Numerical Validation in Current Hardware Architectures
ISBN: 9783642015908
Издательство: Springer
Классификация:
ISBN-10: 3642015905
Обложка/Формат: Paperback
Страницы: 275
Вес: 0.43 кг.
Дата издания: 2009
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Illustrations
Размер: 234 x 155 x 15
Читательская аудитория: Professional & vocational
Подзаголовок: International dagstuhl seminar, dagstuhl castle, germany, january 6-11, 2008, revised papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. This book presents the 16 revised full papers that were selected during two rounds of reviewing and improvements.


Hardware and Software: Verification and Testing

Автор: Roderick Bloem; Eli Arbel
Название: Hardware and Software: Verification and Testing
ISBN: 3319490516 ISBN-13(EAN): 9783319490519
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Higher Order Logic and Hardware Verification

Автор: Melham
Название: Higher Order Logic and Hardware Verification
ISBN: 052141718X ISBN-13(EAN): 9780521417181
Издательство: Cambridge Academ
Рейтинг:
Цена: 12989.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author`s own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия