• Produktbild: Introduction to Formal Hardware Verification
  • Produktbild: Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

16.10.1999

Abbildungen

IX, 299 p.

Verlag

Springer Berlin

Seitenzahl

299

Maße (L/B/H)

24/16,1/2,3 cm

Gewicht

634 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-65445-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

16.10.1999

Abbildungen

IX, 299 p.

Verlag

Springer Berlin

Seitenzahl

299

Maße (L/B/H)

24/16,1/2,3 cm

Gewicht

634 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-65445-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Introduction to Formal Hardware Verification
  • Produktbild: Introduction to Formal Hardware Verification
  • 1 Introduction.- 2 Boolean Functions.- 3 Approaches Based on Finite State Machines.- 4 Propositional Temporal Logics.- 5 Higher-Order Logics.- Appendix A Mathematical Basics.- Appendix B Axioms and Rules for CTL*.- Appendix C Axioms and Rules for Higher Order Logic.- References.