> > > > > lecture-notes-in-computer-science3839-types-for-proofs-and-programs

J. Filliatre - Lecture Notes In Computer Science3839- Types For Proofs And Programs

Het boek Lecture Notes In Computer Science3839- Types For Proofs And Programs van de auteur J. Filliatre is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Lecture Notes In Computer Science3839- Types For Proofs And Programs" is nieuw te koop vanaf € 46,74 bij Bol.com.

Nieuw (1) vanaf € 46,74 bij Bol.com Toon 1 nieuw boek
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 1 nieuw boek gevonden
Lecture Notes In Computer Science3839- Types For Proofs And Programs

Type: Paperback
ISBN: 9783540314288
Levertijd: 22

Aanbieder:
€ 46,74
Bekijk boek