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

Preise von
12,82

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

12,82 €

Beschreibung (0)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798194154968

Wiley-Interscience

Nonlinear Programming: Theory and Algorithms

182,55 €
Weitere Informationen Mehr Infos

Springer

Algorithms for Functional Programming

69,54 €
Weitere Informationen Mehr Infos

Categorical Combinators, Sequential Algorithms, and Functional Programming xx

99,95 €
Weitere Informationen Mehr Infos

Award Winning Creations

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

23,80 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
12,82 €
Zum Shop