Product Information
Programming in Martin-Lof's Type Theory: An Introduction
by Nordstrom, Bengt, Kent Petersson and Jan M. Smith
Clarendon Press
9780198538141
year: 1990
221 Seiten
gebundene Ausgabe
order number: 2158842
description
Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...) - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.
books4less - a shop
from Versandantiquariat
Petra Gros