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

Hardware/Software Co-Design and Co-Verification, Jean-Michel Berg?; Oz Levia; Jacques Rouillard


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

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

Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Название:  Hardware/Software Co-Design and Co-Verification
ISBN: 9781441951595
Издательство: Springer
Классификация: ISBN-10: 1441951598
Обложка/Формат: Paperback
Страницы: 166
Вес: 0.27 кг.
Дата издания: 08.12.2010
Серия: Current Issues in Electronic Modeling
Язык: English
Размер: 234 x 156 x 10
Основная тема: Engineering
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии


Hardware and Software: Verification and Testing

Автор: Hana Chockler; Alan J. Hu
Название: Hardware and Software: Verification and Testing
ISBN: 3642017010 ISBN-13(EAN): 9783642017018
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume.

Correct Hardware Design and Verification Methods

Автор: Tiziana Margaria; Tom Melham
Название: Correct Hardware Design and Verification Methods
ISBN: 3540425411 ISBN-13(EAN): 9783540425410
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Hardware/Software Co-Design and Co-Verification

Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard
Название: Hardware/Software Co-Design and Co-Verification
ISBN: 0792396898 ISBN-13(EAN): 9780792396895
Издательство: Springer
Рейтинг:
Цена: 28734.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.

Hardware and Software: Verification and Testing

Автор: Eran Yahav
Название: Hardware and Software: Verification and Testing
ISBN: 3319133373 ISBN-13(EAN): 9783319133379
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Hardware and Software: Verification and Testing

Автор: Ofer Strichman; Rachel Tzoref-Brill
Название: Hardware and Software: Verification and Testing
ISBN: 3319703889 ISBN-13(EAN): 9783319703886
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions.

Hardware and Software: Verification and Testing

Автор: Karen Yorav
Название: Hardware and Software: Verification and Testing
ISBN: 3540779647 ISBN-13(EAN): 9783540779643
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Hardware and Software: Verification and Testing

Автор: Nir Piterman
Название: Hardware and Software: Verification and Testing
ISBN: 3319262866 ISBN-13(EAN): 9783319262864
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015. The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions.

Hardware and Software: Verification and Testing

Автор: Armin Biere; Amir Nahir; Tanja Vos
Название: Hardware and Software: Verification and Testing
ISBN: 3642396100 ISBN-13(EAN): 9783642396106
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

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.

Correct Hardware Design and Verification Methods

Автор: George J. Milne; Laurence Pierre
Название: Correct Hardware Design and Verification Methods
ISBN: 354056778X ISBN-13(EAN): 9783540567783
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal verification is emerging as a plausible alternative to simulation for the establishment of correct digital hardware designs. This volume contains research papers on the subject, presented at a conference on Correct Hardware Design Methods, held in Arles, France in May 1993.

Correct Hardware Design and Verification Methods

Автор: Laurence Pierre; Thomas Kropf
Название: Correct Hardware Design and Verification Methods
ISBN: 3540665595 ISBN-13(EAN): 9783540665595
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The refereed proceedings of the 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME `99). Areas covered include model checking, formal methods and industrial applications, and theorem proving and related approaches.

Hardware and Software: Verification and Testing

Автор: Valeria Bertacco; Axel Legay
Название: Hardware and Software: Verification and Testing
ISBN: 3319030760 ISBN-13(EAN): 9783319030760
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.


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