Product Information
Edinburgh LCF : a mechanised logic of computation
by Gordon, Michael J. C., Arthur J. Milner and Christopher P. Wadsworth
Berlin, Heidelberg, New York : Springer Verlag
9783540097242
year: 1979
VIII, 159 Seiten
Broschiert
order number: 1706385
description
Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...) - leichte altersbedingte Anbräunung des Papiers - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.
books4less - a shop
from Versandantiquariat
Petra Gros