Chlipala | Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant | Buch | 978-0-262-02665-9 | www.sack.de

Buch, Englisch, 424 Seiten, Format (B × H): 181 mm x 236 mm, Gewicht: 822 g

Reihe: Mit Press

Chlipala

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant


Erscheinungsjahr 2013
ISBN: 978-0-262-02665-9
Verlag: MIT PR

Buch, Englisch, 424 Seiten, Format (B × H): 181 mm x 236 mm, Gewicht: 822 g

Reihe: Mit Press

ISBN: 978-0-262-02665-9
Verlag: MIT PR

Chlipala Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant jetzt bestellen!

Autoren/Hrsg.

Chlipala, Adam
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.