Catalog

Record Details

Catalog Search



Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.

Kluge, W. (author.). Brauer, W. (editor.). Rozenberg, G. (editor.). Salomaa, A. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540273592
  • Physical Description: XIV, 384 p. 89 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Subject: Computer science.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

Additional Resources