Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Abstract Computing Machines
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Abstract Computing Machines A Lambda Calculus Perspective

Abstract Computing Machines A Lambda Calculus Perspective

Show other versions (1)
Bibliographic Details
Main Author: Kluge, William S.
Other Authors: Brauer, W., Rozenberg, Grzegorz, Salomaa, A.
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Series:Texts in Theoretical Computer Science, An EATCS Series
Subjects:
Computer science
Logic design
Computer Science
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Online Access:http://dx.doi.org/10.1007/b138965
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View

Internet

http://dx.doi.org/10.1007/b138965

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items

  • Semantics with Applications: An Appetizer
    by: Nielson, Hanne Riis
    Published: (2007)
  • Abstraction, Refinement and Proof for Probabilistic Systems
    by: McIver, Annabelle
    Published: (2005)
  • DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming
    by: Addis, Tom
    Published: (2010)
  • Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    by: Pnueli, Amir
    Published: (2010)
  • Software Engineering 3 Domains, Requirements, and Software Design
    by: BjΓΈner, Dines
    Published: (2006)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud