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

Prijzen vanaf
13,06

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 13,06

€ 13,06

Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798194154968

Verified Functional Programming in Agda

95,94
Meer informatie Meer info

Algorithms for Functional Programming

69,47
Meer informatie Meer info

Categorical Combinators, Sequential Algorithms, and Functional Programming

115,00
Meer informatie Meer info

Categorical Combinators, Sequential Algorithms and Functional Programming

119,00
Meer informatie Meer info
Uitgelichte Keuze
13,06
Naar shop