Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Higher Order Logic and Hardware Verification

Name: Higher Order Logic and Hardware Verification
Brand: Cambridge University Press
SKU: 02030181
Price: 147.18 EUR
Availability: InStock
Author: T. F. Melham
ISBN: 9780521417181

T. F. Melham

Език

Английски език

Книга С твърди корици

Код Либристо: 02030181

Издателство Cambridge University Press, ноември 1993

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and r... Цялото описание

Код Либристо: 02030181

356 b

147.18 €

287.87 лв

Външен склад Изпращаме след 9-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Mascotas EQUIPO SUSAETA

С твърди корици

6.66 € 13.03 лв

Hudební omalovánky + 24 pastelek Koh-i-noor

Със спирала

7.65 € 14.95 лв

Flors del carrer Gaddy

С меки корици

14.78 € 28.91 лв

Armas con bicho (Olé! Mortadelo 6) Ibáñez

С меки корици

10.18 € 19.91 лв

Let's Speed Up! Inglés para Automoción. 2.ª edición ESTEBAN GARCÍA

С меки корици

43.06 € 84.22 лв

Le droit de la santé Forges

С меки корици

14.37 € 28.10 лв

Grenzen der Vorstandshaftung Sabrina Binder

С меки корици

128.99 € 252.28 лв

Tourismus auf Mallorca. Fluch oder Segen? Liam Bosinius

С меки корици

15.30 € 29.92 лв

vie a Paris, 1895-1913. Tome 3 CLARETIE-J

С меки корици

32.20 € 62.99 лв

Every Year: Jeremias Spukhaus Reinhard Kratzl

С меки корици

7.18 € 14.05 лв

Laira Clea Saal

С меки корици

10.33 € 20.21 лв

Deutschbuch Gymnasium Band 3: 7. Schuljahr - Baden-Württemberg - Arbeitsheft mit interaktiven Übungen auf scook.de Astrid Czubayko-Reiß

С меки корици

19.74 € 38.62 лв

Suki LIPMAN

С меки корици

12.97 € 25.37 лв

De la medicación a la meditación : la meditación, base de la salud física y psicológica Osho Rajneesh

С меки корици

18.61 € 36.39 лв

Notatki z lekcji Historia Starozytnosc Malgorzata Ciejka

С меки корици

6.87 € 13.44 лв

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. 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.