Interactive Theorem Proving and Program Development | Kaicus Deutschland

Interactive Theorem Proving and Program Development

78.21 EUR 14% Off 90.94 EUR

Ein praxisnahes Lehrbuch, das den Coq-Prover als Werkzeug für formale Beweisführung und Softwareentwicklung einführt; es beleuchtet die Grundlagen des Induktionskalküls mit anschaulichen Beispielen aus der theoretischen Informatik.

Marke: Yves Bertot
ISBN: 3642058809
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen