CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

Prix à partir de
12,70

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Trier par:

12,70 €

12,70 €

Description (0)

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

Spécifications du produit

Marque Independently Published
EAN
  • 9798194154968

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

100,54 €
Plus d'informations Plus infos

OmniScriptum

Algebraic Data Type: Computer programming, Functional Type theory, Datatype, Value (computer science), Pattern matching

33,69 €
Comparer 2 magasins 2 magasins

Oxford University Press

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

56,84 €
Plus d'informations Plus infos

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

11,78 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,70 €
Voir l’offre