Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Higher Order Logic and Hardware Verification

Name: Higher Order Logic and Hardware Verification
Brand: Cambridge University Press
SKU: 02022497
Price: 55.89 EUR
Availability: InStock
Author: T. F. Melham
ISBN: 9780521115322

T. F. Melham

Sprache

Englisch

Buch Broschur

Libristo-Code: 02022497

Verlag Cambridge University Press, Juli 2009

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and r... Vollständige Beschreibung

Libristo-Code: 02022497

137 b

55.89 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kleine Politische Schriften Wilhelm Liebknecht

Broschur

17.90 €

Valentina 3 Guido Crepax

Broschur

23.49 €

Optimale Produktionsstruktur Und Forschungsrichtung / Neue Aspekte Der Entwicklungsl nderforschung Hans A. Tinbergen

Broschur

55.29 €

Haustechnik fur Dummies AieB Martin Schlobach

Broschur

31.99 €

Ozdravné postupy a řešení krize bank Karolína Půlpánová

Broschur

13.19 €

Dare to Jump Dumont

Buch

37.99 €

L OR DE L INCERTITUDE Baron Supervielle

Broschur

18.79 €

Points de vue thermodynamiques sur notre quotidien Allan

Broschur

23.89 €

Kuriosa aus der Neuen Welt Hesse-Wartegg Ernst von Hesse-Wartegg

Broschur

25.90 €

Gülme Basina Gelir Komsuna Mine Sota

Broschur

9.59 €

Imaginarse el mundo : imaginarse el fin del mundo hildegaros de bingen/ende MARIAN LOPEZ FDEZ CAO

Broschur

11.59 €

Cesión de deportistas, profesionales y otras manifestaciones lícitas de prestamismo laboral María José Rodríguez Ramos

Broschur

20.69 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Higher Order Logic and Hardware Verification

Autor T. F. Melham

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2009

Anzahl der Seiten 180

EAN 9780521115322

ISBN 0521115329

Libristo-Code 02022497

Verlag Cambridge University Press

Gewicht 300

Abmessungen 170 x 244 x 10

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Elektronische Geräte und Materialien

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert