Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Computerarithmetik und formale Beweise: Überprüfung von Gleitkommaalgorithmen

Ø 0.0
0 Bewertungen
132,18 €

This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.

Jetzt bei Ebay: