العربية

Free & Easy Returns
Best Deals

العربية

Electronics
Top Brands
Apple
Samsung
Xiaomi
Lenovo
Oppo
Huawei
Canon
Dell
HP
Honor
Infinix
Women's Fashion
Top Brands
DeFacto
Trendyol
LC Wakiki
Adidas
Skechers
American Eagle
Nileton
Mesery
Puma
Dejavu
Desigual
Men's Fashion
Top Brands
American Eagle
Adidas
DeFacto
Tommy Hillfiger
Cottonil
Skechers
Puma
Anta
Trendyol
Acitv
LC Wakiki
Kids' Fashion
Top Brands
DeFacto
Junior
Jodi Mini
Jockey
Adidas
Andora
Lc Wakiki
Caesar
Nike
Skechers
Okaidi
Beauty & Fragrance
Top Brands
SHAAN
SHEGLAM
RAW AFRICAN
BRAUN
VGR
NOJE
SOUL & MORE
EVA
DERMACTIVE
KIKO MILANO
PHILIPS
Home & Appliances
Top Brands
BOSCH
TRUEVAL
CLUC
PASABAHCE
MORE COTTONS
VILEDA
SNOOZE
BLACK N DECKER
ENGLANDER
Toshiba
Philips
Baby
Top Brands
MOLFIX
FINEBABY
CHICCO
PHILIPS AVENT
SUPER KIDS
PENDULINE
PETIT BEBE
MASTELA
SANOSAN
BUBBLES
JOIE
Toys & Games
Top Brands
NILCO
LEGO
BESTWAY
INTEX
LOL SURPRISE
2ool a Meme
XIUWOO
SMART
BARBIE
Supermarket
Top Brands
Persil
Lipton
Al doha
Oxi
Juhayna
Familia
Abu Auf
White
Lametna
Automotive
Top Brands
Total Energies
Shell
Elf
Petronas
Mobil
Bosch
Hankook
Pirelli
Pioneer
Health & Nutrition
Top Brands
Centrum
Durex
Red rex
Now - food
Limitless
Fine care
Fresh buzz
Sports & Outdoors
Top Brands
Adidas
Babolat
Body Sculpture
Cougar
Decathlon
SportQ
Stationery & Books
Top Brands
Casio
Faber castell
Staedtler
M&G
Deli
OKA
Stabilo
Panasonic
Rotring
Uni-ball
Sell on noon

Computers & Technology

Computer Science

Software Design & Engineering

Verified Functional Programming in Agda

Sorry! This product is not available.

1

Available Soon

Overview

Specifications

ISBN 13	9781970001242
ISBN 10	1970001240
Author	Aaron Stump

Book Format	Paperback
Language	English

Verified Functional Programming in Agda

Added to cart atc

atc

Cart Total EGP 0.00