Zweistufige funktionale Sprachen von Flemming Nielson (Englisch) Taschenbuch
96,75 €
By Flemming Nielson, Hanne Riis Nielson. Author Hanne Riis Nielson. Consequently, the ability to specify code and verify program correctness can be improved. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic.
Jetzt bei Ebay:
