> > > > > concrete-semantics-with-isabellehol

Tobias Nipkow - Concrete Semantics: With Isabelle/hol

Het boek Concrete Semantics: With Isabelle/hol van de auteur Tobias Nipkow is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Concrete Semantics: With Isabelle/hol" is nieuw te koop vanaf € 76,99 bij Bol.com.

Nieuw (1) vanaf € 76,99 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
Concrete Semantics: With Isabelle/hol

Type: Hardcover
ISBN: 9783319105413
Levertijd: 13

Aanbieder:
€ 76,99
Bekijk boek