1. Home
  2. Medien
  3. Bücher
  4. Theorem Provers in Circuit Design: Theory Practice and Experience
  • #
  • #

Theorem Provers in Circuit Design: Theory Practice and Experience

53.49 EUR 53.24 EUR 0% Off

Dieses Buch beleuchtet die Entwicklung von Theorem-Provers für Schaltkreise, verbindet mathematische Modelle mit realen Designproblemen und fasst Erkenntnisse der zweiten internationalen TPCD-Konferenz zusammen.

Teilen:

Ähnliche Produkte

The Verification of MDG Algorithms in the HOL Theorem Prover

The Verification of MDG Algorithms in the HOL Theorem Prover

59.00 EUR
Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover

53.24 EUR
Carter Subgroups and Carter's Theorem: Definitions, proves of lemma/theorem and examples of solvable, nilpotent groups and a proof of Carter's Theorem

Carter Subgroups and Carter's Theorem: Definitions, proves of lemma/theorem and examples of solvable, nilpotent groups and a proof of Carter's Theorem

49.00 EUR
A new method to apply the Voronovskaja type theorem: On the approximation order and Voronovskaja's type theorem for certain linear positive operators

A new method to apply the Voronovskaja type theorem: On the approximation order and Voronovskaja's type theorem for certain linear positive operators

71.90 EUR
The Zero Theorem

The Zero Theorem

6.49 EUR
Mathematische Methoden der Theoretischen Physik | 2

Mathematische Methoden der Theoretischen Physik | 2

39.99 EUR
Structuring Design: Graphic Grids in Theory and Practice

Structuring Design: Graphic Grids in Theory and Practice

35.00 EUR
The Intricate Realm of Numbers in Conjunction with the Physical World as Revealed by an Exceptional Numerical Sequence and by Some Outstanding ... Theorem to Euler-Zeta Function and Beyond

The Intricate Realm of Numbers in Conjunction with the Physical World as Revealed by an Exceptional Numerical Sequence and by Some Outstanding ... Theorem to Euler-Zeta Function and Beyond

52.95 EUR