Numerical Validation in Current Hardware Architectures, Annie A.M. Cuyt; Walter Kr?mer; Wolfram Luther; Pe
Автор: 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.
Автор: 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