Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Yves Bertot

Filter
Filter
Ordnen nachSortieren Beliebt
  • - Coq'Art: The Calculus of Inductive Constructions
    von Yves Bertot & Pierre Casteran
    75,00 - 101,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.