Verified Functional Programming in Agda

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

Autor: Aaron Stump

Język:

Oprawa: Miękka

Wydawca: Morgan & Claypool Publishers

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

347.80 zł

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

Informacje o książce

Autor

Aaron Stump

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2016

strony

284

EAN

9781970001242

ISBN

1970001240

Enbook ID

12519282

Wydawca

Morgan & Claypool Publishers

Waga

540

Wymiary

191 x 235 x 20

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Verified Functional Programming in Agda

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również