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

Priser från
140,58

Utvalda

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)

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

817,00 kr
Jämför 2 butiker 2 Butiker

ACM Books

Functional Data Structures and Algorithms: A Proof Assistant Approach

630,00 kr
Jämför 2 butiker 2 Butiker

Alphascript Publishing

Monad (Functional Programming): Monoid, Transformer, Strong Monad, Functional Programming, Control Flow, Abstract...

297,06 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

130,49 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
140,58 kr
Til butik