Verified Functional Programming in Agda

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

Автор: Aaron Stump

Език:

Корици: С меки корици

Издател: Morgan & Claypool Publishers

Наличност: Външен склад

Изпращаме след 9-15 дни

81.99 € 160.36 лв

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

Информация за книгата

Автор

Aaron Stump

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Издател

Morgan & Claypool Publishers

Теглоt

540

Размери

191 x 235 x 20

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Verified Functional Programming in Agda

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също