Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Higher Order Logic and Hardware Verification

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

T. F. Melham

Language

English

Book Hardback

Libristo code: 02030181

Publishers Cambridge University Press, November 1993

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and r... Full description

Libristo code: 02030181

383 b

57 343 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Mascotas EQUIPO SUSAETA

Hardback

2 712 Ft

Flors del carrer Gaddy

Paperback

4 645 Ft

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

Paperback

3 161 Ft

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

Paperback

13 514 Ft

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

Spiral bound

4 706 Ft

Verdun 1916 - un regard sur l'histoire d'une bataille Auriol Book

Paperback

7 357 Ft

Le droit de la santé Forges

Paperback

4 914 Ft

Grenzen der Vorstandshaftung Sabrina Binder

Paperback

51 125 Ft

Tourismus auf Mallorca. Fluch oder Segen? Liam Bosinius

Paperback

5 741 Ft

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

Paperback

12 526 Ft

Every Year: Jeremias Spukhaus Reinhard Kratzl

Paperback

2 830 Ft

Laira Clea Saal

Paperback

4 045 Ft

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

Paperback

6 818 Ft

Suki LIPMAN

Paperback

4 030 Ft

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

Paperback

5 845 Ft

Notatki z lekcji Historia Starozytnosc Malgorzata Ciejka

Paperback

2 367 Ft

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.