Hopp til hovedinnhold
Placeholder image

Higher Order Logic and Hardware Verification

Melham, T. F.

Produseres på bestilling

Leveringstid: 3-10 dager

Handlinger

Beskrivelse

Omtale

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.

  • Utgivelsesdato:

    02.07.2009

  • ISBN/Varenr:

    9780521115322

  • Språk:

    Engelsk

  • Forlag:

    Cambridge University Press

  • Innbinding:

    Heftet

  • Fagtema:

    Teknologi, ingeniørfag, landbruk og industri

  • Serie:

    Cambridge Tracts in Theoretical Computer Science

  • Litteraturtype:

    Faglitteratur

  • Sider:

    180

  • Høyde:

    24.3 cm

  • Bredde:

    16.9 cm

Andre bøker i samme serie

Nonmonotonic Reasoning : Logical Foundations of Commonsense

Nonmonotonic Reasoning : Logical Foundations of Commonsense
Brewka, Gerhard
9780521181303 Heftet
29.03.2012
Engelsk

Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods

Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521169325 Heftet
26.01.2012
Engelsk

Produseres på bestilling
Hybrid Graph Theory and Network Analysis

Hybrid Graph Theory and Network Analysis
Gibbons, Alan • Novak, Ladislav
9780521106597 Heftet
03.09.2009
Engelsk

Produseres på bestilling
Design Theory and Computer Science

Design Theory and Computer Science
Dasgupta, Subrata
9780521118156 Heftet
06.08.2009
Engelsk

Produseres på bestilling
The Clausal Theory of Types

The Clausal Theory of Types
Wolfram, D. A.
9780521117906 Heftet
30.07.2009
Engelsk

Produseres på bestilling
Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming
Revesz, G. E.
9780521114295 Heftet
25.06.2009
Engelsk

Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison

Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk

Produseres på bestilling
Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols
9780521088121 Heftet
11.12.2008
Engelsk

Produseres på bestilling