Produktinfo
Programming in Martin-Lof's Type Theory: An Introduction
von Nordstrom, Bengt, Kent Petersson and Jan M. Smith
Clarendon Press
9780198538141
Jahr: 1990
221 Seiten
gebundene Ausgabe
Bestellnummer: 2158842
Beschreibung
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 - ein Shop
des Versandantiquariats
Petra Gros