Produktinfo
Edinburgh LCF : a mechanised logic of computation
von Gordon, Michael J. C., Arthur J. Milner and Christopher P. Wadsworth
Berlin, Heidelberg, New York : Springer Verlag
9783540097242
Jahr: 1979
VIII, 159 Seiten
Broschiert
Bestellnummer: 1706385
Beschreibung
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 - ein Shop
des Versandantiquariats
Petra Gros