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

Prix à partir de
12,64

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (1)

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 (1)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

12,64 € Total 15,64 €

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

Verified Functional Programming in Agda

76,40 €
Comparer 2 magasins 2 magasins

Award Winning Creations

Lean Programming for AI Agents: Verified Contracts, Specs and Proofs Agentic Systems

23,46 €
Plus d'informations Plus infos

Functional Data Structures and Algorithms: A Proof Assistant Approach

69,00 €
Comparer 2 magasins 2 magasins

Independently Published

Nonlinear Programming: Theory, Algorithms, Computation, and Modern Applications

37,20 €
Plus d'informations Plus infos
Choix en vedette
12,64 €
Voir l’offre