Verified Functional Programming in Agda

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

Szerző: Aaron Stump

Nyelv:

Kötés: Puha kötésű

Kiadó: Morgan & Claypool Publishers

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

31 812 Ft

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

Információk a könyvről

Szerző

Aaron Stump

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Kiadó

Morgan & Claypool Publishers

Súly

540

Méretek

191 x 235 x 20

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Verified Functional Programming in Agda

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták