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

Prezzi da
12,46

Link sponsorizzati

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

12,46 €

12,46 €

Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798194154968

Springer

Algorithms for Functional Programming

69,54 €
Confronta 2 negozi 2 negozi

Apress

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

28,59 €
Confronta 2 negozi 2 negozi

Cambridge University Press

Type Theory and Formal Proof: An Introduction

81,86 €
Più informazioni Maggiori info

ACM Books

Verified Functional Programming in Agda (ACM Books) (English Edition)

58,96 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
12,46 €
Vai allo shop