Verified Functional Programming in Agda

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

Autor: Aaron Stump

Jazyk:

Väzba: Brožovaná

Vydavateľ: Morgan & Claypool Publishers

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

78.24 €

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

Informácie o knihe

Autor

Aaron Stump

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2016

Stránok

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Vydavateľ

Morgan & Claypool Publishers

Hmotnosť

540

Rozmery

191 x 235 x 20

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verified Functional Programming in Agda

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež