Abstract Computing Machines : A Lambda Calculus Perspective

作者:by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.
出版社:Springer-Verlag Berlin Heidelberg
ISBN:9783540273592 (electronic bk.) ; 9783540211464 (paper)
出版日期:2005
其他作者:Kluge, W. ; Brauer, W. ; Rozenberg, G. ; Salomaa, A.
語言:zh
出版地:Berlin, Heidelberg :
內容簡介

xiv, 384 p. ::89 fig., digital ;:25 cm.