KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods for Hardware Verification
Band 3965

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

15.05.2006
Abbildungen

VIII, 244 p.
Herausgeber Marco Bernardo + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

15.05.2006
Abbildungen

VIII, 244 p.
Herausgeber
Verlag Springer Berlin
Seitenzahl

244
Maße (B/H)

15,5/23,5 cm
Gewicht

368 g
Sprache

Englisch
ISBN

978-3-540-34304-2
Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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: Formal Methods for Hardware Verification
  • Hardware Design and Simulation for Verification.- Automatic Test Pattern Generation.- An Introduction to Symbolic Trajectory Evaluation.- BDD-Based Hardware Verification.- SAT-Based Verification Methods and Applications in Hardware Verification.- Building Efficient Decision Procedures on Top of SAT Solvers.- Refinement and Theorem Proving.- Floating-Point Verification Using Theorem Proving.