> > > > > interactive-theorem-proving-and-program-development

Bertot, Yves - Interactive Theorem Proving And Program Development

Het boek Interactive Theorem Proving And Program Development van de auteur Bertot, Yves is 2 maal gevonden, 2 maal nieuw en 0 maal tweedehands. "Interactive Theorem Proving And Program Development" is nieuw te koop vanaf € 116,99 bij Bol.com.

Nieuw (2) vanaf € 116,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
Interactive Theorem Proving And Program Development

Type: Hardcover
ISBN: 9783540208549
Levertijd: 64

Aanbieder:
€ 116,99
Bekijk boek
Interactive Theorem Proving And Program Development: Coq'art

Type: Hardcover
ISBN: 9783540208549
Levertijd: 60

Aanbieder:
€ 116,99
Bekijk boek


Andere populaire boeken van Bertot, Yves
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
From Semantics To Computer Science

ISBN: 9780521518253


Bekijk boek

Nieuw (1)
€ 120,99
Tweedehands (0)
Theorem Proving In Higher Order Logics

ISBN: 9783540664635


Bekijk boek

Nieuw (1)
€ 81,37
Tweedehands (0)
Interactive Theorem Proving And Program Development: Coq'art

ISBN: 9783642058806


Bekijk boek

Nieuw (1)
€ 125,99
Tweedehands (0)
Bekijk hier alle boeken van Bertot, Yves