Tel: 061 261 57 67
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
  • Start
  • Bücher
  • Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Angebote / Angebote:

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Lieferbar in ca. 20-45 Arbeitstagen

Preis

116,00 CHF