> > > > > verified-functional-programming-in-agda

Aaron Stump - Verified Functional Programming In Agda

Het boek Verified Functional Programming In Agda van de auteur Aaron Stump is 2 maal gevonden, 2 maal nieuw en 0 maal tweedehands. "Verified Functional Programming In Agda" is nieuw te koop vanaf € 99,99 bij Bol.com.

Nieuw (2) vanaf € 99,99 bij Bol.com Toon 2 nieuwe boeken
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 2 nieuwe boeken gevonden
Verified Functional Programming In Agda

Type: Paperback
ISBN: 9781970001242
Levertijd: 19

Aanbieder:
€ 99,99
Bekijk boek
Verified Functional Programming In Agda

Type: Hardcover
ISBN: 9781970001273
Levertijd: 21

Aanbieder:
€ 135,99
Bekijk boek


Andere populaire boeken van Aaron Stump
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Programming Language Foundations

ISBN: 9781118007471


Bekijk boek

Nieuw (1)
€ 110,99
Tweedehands (0)
Bekijk hier alle boeken van Aaron Stump