[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Correct Hardware Design and Verification Methods
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co...
Цялото описание
Код Либристо: 01563746
?
164 b
164 b
128.23
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
218.83
лв
/
С твърди корици
1 161.11
лв
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers 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.
Информация за книгата
Пълно заглавие
Correct Hardware Design and Verification Methods
Автор
Tiziana Margaria, Tom Melham
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2001
Брой страници
488
Баркод
9783540425410
ISBN
3540425411
Код Либристо
01563746
Издателство
Springer, Berlin
Тегло
699
Размери
155 x 235 x 25
