Магазини
Любими
63,90 лв.
Изчерпано

Higher Order Logic and Hardware Verification

Изчерпано количество
0%
63,90 лв.

SKU: 9780521115322

Weight: 0.300000

ISBN: 9780521115322

Вид корица: Paperback / softback

Издателство: Cambridge University Press

Брой страници: 180

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.

* Сроковете за доставка могат да бъдат удължени и по време на кампании, както и в зависимост от наличностите на поръчаните артикули.

Доставка до твой адрес
  • При теб до 3 работни дни
  • Цена за доставка с куриер - 4.90 лв.
  • Безплатна доставка (за поръчка над 49.80 лв.)
Доставка до офис на куриер
  • Цена за доставка до офис - 4.90 лв.
  • По-кратък срок за доставка
Доставка до магазин на Orange Center
  • Доставката до магазин е безплатна

Онлайн магазин orangecenter.bg уверява своите клиенти, че съгласно чл. 55, ал.1 от Закона за защита на потребителите, имат правото да се откажат / или заменят получена от тях стока в срок от 14 (четиринадесет) работни дни от датата на получаване на стоката САМО при условие, че продукта е:

- в оригиналният си вид и качествени характеристики, със запазена оригинална опаковка и етикет, като не се счита за повредена опаковката, цялостта на която е била нарушена по начин, единствено позволяващ отделянето й от стоката.

- без следи от употреба (скъсване, надраскване, счупване или други повреди), както и няма други повреди, причинени от неправилна употреба.

Повече информация за връщане и замяна на стока ще намерите тук.

Остави коментар

Не е необходимо да имате създаден профил, за да оставите коментар