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

Priser från
140,58

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

140,58 kr

140,58 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194154968

Springer

Algorithms for Functional Programming

764,78 kr
Jämför 2 butiker 2 Butiker

Award Winning Creations

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

262,53 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

423,63 kr
Jämför 2 butiker 2 Butiker

Apress

Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence

711,38 kr
Mer information Mer info
Utvalt Val
140,58 kr
Til butik