Verified Functional Programming in Agda

Name: Verified Functional Programming in Agda
Brand: Morgan & Claypool Publishers
SKU: 9781970001242
Price: 449.02 RON
Availability: InStock

Autor: Aaron Stump

Limbă:

Legare: Carte broșată

Editura: Morgan & Claypool Publishers

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

449.02 lei

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou...

Informații despre carte

Autor

Aaron Stump

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Editura

Morgan & Claypool Publishers

Greutate

540

Dimensiuni

191 x 235 x 20

Descriere completă

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Verified Functional Programming in Agda

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și