Abstract Computing Machines A Lambda Calculus Perspective / [electronic resource] :

• 作者： Kluge, W.
• 其他作者：
  • Brauer, W.
  • Rozenberg, G.
  • Salomaa, A.
  • SpringerLink (Online service)
• 出版： Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
• 叢書名： Texts in Theoretical Computer Science, An EATCS Series
• 主題： Machine theory , Lambda calculus , Computer science , Programming Languages, Compilers, Interpreters. , Logics and Meanings of Programs.
• ISBN： 9783540273592 (electronic bk.) 、 9783540211464 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: