Filtern nach
Filtern nach
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
- Hardcover
- 424 Seiten
- The MIT Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer...
21,05 €