Verified Functional Programming in Agda

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

Autor: Aaron Stump

Jazyk:

Vazba: Brožovaná

Vydavatel: Morgan & Claypool Publishers

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

1 896 Kč

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

Informace o knize

Autor

Aaron Stump

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2016

Stránek

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Vydavatel

Morgan & Claypool Publishers

Hmotnost

540

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Verified Functional Programming in Agda

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také