Abstract computing machines
a lambda calculus perspective
Livre Ecrit par: Kluge, Werner E. ; Publié en: 2005
Edition:
Berlin:
Springer
Springer
Langue:
Anglais
Collation:
1 vol (XIV-384 p.) ill.
;24 cm
ISBN: 3540211462
Thème
Informatique
Mots clés:
Automates mathématiques, Théorie des
Note: Bibliogr. p. [369]-375. Index.
